Search Sciweavers | Sciweavers

891 search results - page 6 / 179

» Full Abstraction for PCF

click to vote

MFCS
1994
Springer

86views Theoretical Computer Science» more MFCS 1994»

Full Abstraction for the Second Order Subset of an Algol-Like Language

13 years 11 months ago

Download scidok.sulb.uni-saarland.de

Kurt Sieber

claim paper

Read More »

click to vote

FSTTCS
1990
Springer

53views Software Engineering» more FSTTCS 1990»

Relating Full Abstraction Results for Different Programming Languages

13 years 11 months ago

Download www.kurims.kyoto-u.ac.jp

Kurt Sieber

claim paper

Read More »

click to vote

FOSSACS
2006
Springer

112views Software Engineering» more FOSSACS 2006»

Bidomains and Full Abstraction for Countable Nondeterminism

13 years 11 months ago

Download www.cogs.susx.ac.uk

James Laird

claim paper

Read More »

click to vote

TACS
1991
Springer

79views Software Engineering» more TACS 1991»

Full Abstraction and the Context Lemma

13 years 11 months ago

Download publications.csail.mit.edu

Trevor Jim, Albert R. Meyer

claim paper

Read More »

click to vote

ESOP
2008
Springer

100views Programming Languages» more ESOP 2008»

Full Abstraction for Linda

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers