Compilation and Equivalence of Imperative Objects (1998)

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

Active Bibliography

13 Reasoning about Functions with Effects – Carolyn Talcott - 1997
1 A Study of Objects – Paul Hankin - 1999
2 Bisimilarity for the region calculus – Simon Helsen
1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
6 Names, Equations, Relations: Practical Ways to Reason about new – Ian Stark - 1996
4 A First Order Logic of Effects – Ian A. Mason - 1996
222 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998
39 An observationally complete program logic for imperative higher-order functions – Kohei Honda, Nobuko Yoshida, Martin Berger - 2005
1 A Generic Object-Calculus Based on Addressed Term Rewriting Systems – Dan Dougherty, Frédéric Lang, Pierre Lescanne, Luigi Liquori, Kristoffer Rose - 2001
27 Monads, effects and transformations – Nick Benton, Andrew Kennedy - 1999
and – Jean-baptiste Jeannin, Dexter Kozen
4 Computing with Capsules – Jean-baptiste Jeannin, Dexter Kozen - 2011
and – Jean-baptiste Jeannin, Dexter Kozen
1 Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri - 2009
Reasoning about Selective Strictness -- Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles – Seyed H. Haeri (Hossein) - 2009
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
64 The origins of structural operational semantics – Gordon D. Plotkin - 2004
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
88 Categorical Logic – Andrew M. Pitts - 1995