Observable Sequentiality and Full Abstraction (1992)

by Robert Cartwright , Matthias Felleisen
Venue:In Proceedings of POPL ’92
Citations:39 - 5 self

Active Bibliography

Sequential Languages – Robert Cartwright, Pierre-louis Curien, Matthias Felleisen
SPCF: Its Model, Calculus, and Computational Power (Preliminary Version) – Ramarao Kanneganti, Robert Cartwright, Robert Cartwright, Matthias Felleisen, Matthias Felleisen - 1992
49 Fully abstract semantics for observably sequential languages – Robert Cartwright, Robert Cartwright, Pierre-louis Curien, Pierre-louis Curien, Matthias Felleisen, Matthias Felleisen - 1994
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
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
132 On the Expressive Power of Programming Languages – Matthias Felleisen - 1990
2 Sequential Functions on Indexed Domains and Full Abstraction for a Sub-language of PCF – Stephen Brookes, Shai Geva - 1994
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
192 Full Abstraction for PCF – Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria - 1996
Universal Domains For Sequential Computation – Ramarao Kanneganti - 1995
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
Reasoning with Continuations III: A Complete Calculus of Control – Amr Sabry, Matthias Felleisen - 1992
12 Continuous Functions and Parallel Algorithms on Concrete Data Structures – Stephen Brookes, Shai Geva - 1991
2 Stable and Sequential Functions on Scott Domains – Stephen Brookes, Shai Geva - 1992
11 Towards a theory of parallel algorithms on concrete data structures – Stephen Brookes, Shai Geva - 1990
2 Parallel PCF has a Unique Extensional Model – Allen Stoughton - 1991
19 Isolating Side Effects in Sequential Languages – Jon G. Riecke, Ramesh Viswanathan - 1995
32 A Semantic analysis of control – James David Laird - 1998