|
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
|
|
106
|
On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (preliminary report)
– Andrew Pitts, Ian Stark
- 1993
|
|
6
|
Names, Equations, Relations: Practical Ways to Reason about new
– Ian Stark, Ian Stark
- 1996
|
|
7
|
Abstract Models of Storage
– Robert D. Tennent, Dan R. Ghica
- 2000
|
|
34
|
Compilation and Equivalence of Imperative Objects
– Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen
- 1998
|
|
4
|
A First Order Logic of Effects
– Ian A. Mason
- 1996
|
|
13
|
Reasoning about Functions with Effects
– Carolyn Talcott
- 1997
|
|
30
|
Extensible Denotational Language Specifications
– Robert Cartwright, Matthias Felleisen
- 1994
|
|
31
|
A Semantic analysis of control
– James David Laird
- 1998
|
|
16
|
Objects, Interference, and the Yoneda Embedding
– Peter W. O'Hearn, Uday S. Reddy
- 1995
|
|
|
Denotational Semantics Using an Operationally-Based Term Model
– Mitchell Wand, Gregory T. Sullivan
- 1997
|
|
5
|
Semantics of Dynamic Variables in Algol-like Languages
– Dan R. Ghica
- 1997
|
|
26
|
References, Local Variables and Operational Reasoning
– Ian A. Mason, Carolyn L. Talcott
- 1992
|
|
11
|
The Structure of Call-by-Value
– Carsten Führmann
- 2000
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
|
Logical Relations for Dynamic . . .
– Yu Zhang, David Nowak
- 2003
|
|
11
|
Passivity and independence
– Uday S. Reddy
- 1994
|
|
1
|
Relational Semantics for Higher-Order Functional Programs
– Kamal Aboul-Hosn, Dexter Kozen
|
