Semantics of Local Variables (1992)

Cached

Download Links

by P.W. O'Hearn , R. D. Tennent
Citations:35 - 4 self

Active Bibliography

8 Abstract Models of Storage – Robert D. Tennent, Dan R. Ghica - 2000
5 Semantics of Dynamic Variables in Algol-like Languages – Dan R. Ghica - 1997
16 Objects, Interference, and the Yoneda Embedding – Peter W. O'Hearn, Uday S. Reddy - 1995
22 Objects and classes in Algol-like languages – Uday S. Reddy - 2002
1 An Automata-Theoretic Model of Idealized Algol – Uday S. Reddy, Brian P. Dunphy
39 An observationally complete program logic for imperative higher-order functions – Kohei Honda, Nobuko Yoshida, Martin Berger - 2005
1 Relational Semantics for Higher-Order Functional Programs – Kamal Aboul-Hosn, Dexter Kozen
4 D.: Local variable scoping and Kleene algebra with tests. In: RelMiCS – Kamal Aboul-hosn, Dexter Kozen - 2006
4 Relational semantics for higher-order programs – Kamal Aboul-hosn, Dexter Kozen - 2006
11 Passivity and independence – Uday S. Reddy - 1994
1 Thirteen puzzles in programming logic – Albert R. Meyer
48 A Variable Typed Logic of Effects – Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott - 1993
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
33 On Bunched Typing – Peter O'Hearn - 2002
3 An Automata-Theoretic Model of Objects – Uday S. Reddy, Brian P. Dunphy
Automata-theoretic Semantics of Idealized Algol with Passive Expressions – Uday S. Reddy
2 A linear logic model of state (extended abstract – Uday S. Reddy - 1993
23 Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation – Olivier Danvy, RenĂ© Vestergaard
1 Theory for Software Verification – David A. Naumann - 2009