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

15 years 1 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

15 years 1 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

15 years 1 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

15 years 1 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

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers