Fully abstract semantics for observably sequential languages (1994)

by Robert Cartwright , Robert Cartwright , Pierre-louis Curien , Pierre-louis Curien , Matthias Felleisen , Matthias Felleisen
Venue:Information and Computation
Citations:49 - 4 self

Active Bibliography

Sequential Languages – Robert Cartwright, Pierre-louis Curien, Matthias Felleisen
39 Observable Sequentiality and Full Abstraction – Robert Cartwright, Matthias Felleisen - 1992
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
32 A Semantic analysis of control – James David Laird - 1998
192 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
29 Domains and Denotational Semantics: History, Accomplishments and Open Problems – Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark - 1996
5 Games and full abstraction for PCF: preliminary announcement – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1993
66 Full Abstraction for PCF (Extended Abstract) – Samson Abramsky, Pasquale Malacaria, Radha Jagadeesan - 1994
Universal Domains For Sequential Computation – Ramarao Kanneganti - 1995
3 Bistable biorders: a sequential domain theory – J. Laird - 2005
SPCF: Its Model, Calculus, and Computational Power (Preliminary Version) – Ramarao Kanneganti, Robert Cartwright, Robert Cartwright, Matthias Felleisen, Matthias Felleisen - 1992
12 Notions of computability at higher types I – John Longley - 2005
36 The sequentially realizable functionals – John Longley
Fully Abstract Bidomain Models of the λ-Calculus – Jim Laird - 2001
2 Sequential Functions on Indexed Domains and Full Abstraction for a Sub-language of PCF – Stephen Brookes, Shai Geva - 1994
31 Games and full abstraction for nondeterministic languages – Russell S. Harmer - 1999
19 Isolating Side Effects in Sequential Languages – Jon G. Riecke, Ramesh Viswanathan - 1995
4 Games and Sequential Algorithms – Jim Laird - 2001
3 Calculi for Functional Programming Languages with Assignment – Daniel Eli Rabin, Daniel Eli Rabin - 1996