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

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

Active Bibliography

111 Operational Reasoning for Functions With Local State – Andrew Pitts, Ian Stark
1 An Automata-Theoretic Model of Idealized Algol – Uday S. Reddy, Brian P. Dunphy
8 Abstract Models of Storage – Robert D. Tennent, Dan R. Ghica - 2000
16 Objects, Interference, and the Yoneda Embedding – Peter W. O'Hearn, Uday S. Reddy - 1995
57 Relational reasoning in a nominal semantics for storage – Nick Benton, Benjamin Leperchey - 2005
55 Semantics of Types for Mutable State – Amal Jamil Ahmed - 2004
27 A Tutorial on Co-induction and Functional Programming – Andrew D. Gordon - 1994
3 An Automata-Theoretic Model of Objects – Uday S. Reddy, Brian P. Dunphy
13 Reasoning about Functions with Effects – Carolyn Talcott - 1997
20 The Regular-Language Semantics of Second-Order Idealized ALGOL – Dan R. Ghica, Guy Mccusker - 2003
22 Objects and classes in Algol-like languages – Uday S. Reddy - 2002
Semantics of Parametric Polymorphism in Imperative Programming Languages – Brian P. Dunphy, Uday S. Reddy
1 Theory for Software Verification – David A. Naumann - 2009
22 Correctness of Data Representations involving Heap Data Structures – Uday S. Reddy, Hongseok Yang - 2003
6 Names, Equations, Relations: Practical Ways to Reason about new – Ian Stark - 1996
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
1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
2 Bisimilarity for the region calculus – Simon Helsen
14 Full Abstraction for the Second Order Subset of an ALGOL-like Language – Kurt Sieber - 1994