|
7
|
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
|
|
|
An Automata-Theoretic Model of Idealized Algol
– Uday S. Reddy, Brian P. Dunphy
|
|
34
|
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
|
|
1
|
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
|
|
45
|
A Variable Typed Logic of Effects
– Furio Honsell, Ian A. Mason, Scott Smith, Carolyn Talcott
- 1993
|
|
27
|
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
|
|
26
|
On Bunched Typing
– Peter O'Hearn
- 2002
|
|
1
|
An Automata-Theoretic Model of Objects
– Uday S. Reddy, Brian P. Dunphy
|
|
21
|
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation
– Olivier Danvy, René Vestergaard
|
|
2
|
A linear logic model of state (extended abstract
– Uday S. Reddy
- 1993
|
|
1
|
Theory for Software Verification
– David A. Naumann
- 2009
|
|
|
Higher Order Operationational Techniques in Semantics - Introduction
– A. D. Gordon, A. M. Pitts (Eds)
|
|
4
|
Note on Algol and Conservatively Extending Functional Programming
– Peter O'Hearn
- 1995
|
