Compilation and Equivalence of Imperative Objects (1998)

by Andrew D. Gordon , Paul D. Hankin , Søren B. Lassen
Citations:32 - 4 self

Documents Related by Co-Citation

895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
81 A Concurrent Object Calculus: Reduction and Typing – Andrew D. Gordon, Paul D. Hankin - 1998
418 Obliq - A language with distributed scope – Luca Cardelli - 1995
41 Imperative Objects and Mobile Processes – Josva Kleist, Davide Sangiorgi - 1998
130 Lambda-Calculus Models of Programming Languages – J H Morris - 1968
244 Typing and Subtyping for Mobile Processes – Benjamin Pierce , Davide Sangiorgi - 1996
224 Barbed Bisimulation – Robin Milner, Davide Sangiorgi, Edinburgh Eh Jz - 1992
363 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
10 A Concurrent Object Calculus – P Di Blasio, K Fisher - 1996
7 Migration = Cloning ; Aliasing (preliminary version) – Hans Hüttel, Josva Kleist, Massimo Merro, Uwe Nestmann
7 Obliq semantics notes. Unpublished note. Available from clt@cs.stanford – C L Talcott - 1996
88 On Asynchrony in Name-Passing Calculi – Massimo Merro, Davide Sangiorgi - 1998
273 The polyadic -calculus: A tutorial – Robin Milner - 1992
74 Concurrent Objects in a Process Calculus – Benjamin C. Pierce, David N. Turner - 1995
24 An interpretation of typed objects into typed -calculus – D Sangiorgi - 1998
90 A calculus of mobile processes, part I/II – Robin Milner, Joachim Parrow, David Walker - 1992
114 Towards seamless computing and metacomputing in Java – Denis Caromel, Wilfried Klauser, Julien Vayssière - 1998
9 obliq-std.exe — Binaries for Windows NT. http://www.luca.demon.co.uk/ Obliq/Obliq.html – L Cardelli - 1994
442 The π-calculus: A Theory of Mobile Processes – Davide Sangiorgi, David Walker - 2001