Reasoning about local variables with operationally-based logical relations (1996)

by Andrew M. Pitts
Venue:In LICS
Citations:32 - 3 self

Documents Related by Co-Citation

102 Parametricity and Local Variables – P. W. O'hearn, R. D. Tennent - 1995
111 Operational Reasoning for Functions With Local State – Andrew Pitts, Ian Stark
112 Equivalence in Functional Languages with Effects – Ian Mason, Carolyn Talcott - 1991
160 The essence of Algol – J Reynolds - 1981
99 Toward fully abstract semantics for local variables – Albert R Meyer, Kurt Sieber - 1988
55 Names and Higher-Order Functions – I D B Stark - 1994
119 On the Observable Properties of Higher Order Functions that Dynamically Create Local Names (preliminary report) – Andrew Pitts, Ian Stark - 1993
76 Operationally-based theories of program equivalence – Andrew Pitts - 1997
101 Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions – Samson Abramsky, Guy McCusker - 1997
106 Proving congruence of bisimulation in functional programming languages – Douglas J. Howe - 1996
704 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
255 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
26 Inferring the Equivalence of Functional Programs that Mutate Data – Ian Mason, Carolyn Talcott - 1992
46 Small bisimulations for reasoning about higher-order imperative programs – Vasileios Koutavas, Mitchell Wand - 2006
55 From Algol to Polymorphic Linear Lambda-calculus – Peter W. O'Hearn, John C. Reynolds - 1997
34 Relational interpretations of recursive types in an operational setting – Lars Birkedal, Robert Harper - 1997
34 Lambda-definability and logical relations. Memorandum SAI–RM–4 – G D Plotkin - 1973
74 Parametric Polymorphism and Operational Equivalence – Andrew M. Pitts - 2000
99 Relational Properties of Domains – Andrew M. Pitts - 1996