Sciweavers

891 search results - page 6 / 179

» Full Abstraction for PCF

91

Voted

MFCS
1994
Springer

86views Theoretical Computer Science» more MFCS 1994»

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

15 years 8 months ago

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

Download scidok.sulb.uni-saarland.de

Kurt Sieber

claim paper

Read More »

89

FSTTCS
1990
Springer

53views Software Engineering» more FSTTCS 1990»

Relating Full Abstraction Results for Different Programming Languages

15 years 8 months ago

Relating Full Abstraction Results for Different Programming Languages

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

Kurt Sieber

claim paper

Read More »

90

FOSSACS
2006
Springer

112views Software Engineering» more FOSSACS 2006»

Bidomains and Full Abstraction for Countable Nondeterminism

15 years 8 months ago

Bidomains and Full Abstraction for Countable Nondeterminism

Download www.cogs.susx.ac.uk

James Laird

claim paper

Read More »

99

TACS
1991
Springer

79views Software Engineering» more TACS 1991»

Full Abstraction and the Context Lemma

15 years 8 months ago

Full Abstraction and the Context Lemma

Download publications.csail.mit.edu

Trevor Jim, Albert R. Meyer

claim paper

Read More »

100

ESOP
2008
Springer

100views Programming Languages» more ESOP 2008»

Full Abstraction for Linda

15 years 6 months ago

Full Abstraction for Linda

Download www.cs.unibo.it

Cinzia Di Giusto, Maurizio Gabbrielli

claim paper

Read More »

« Prev « First page 6 / 179 Last » Next »