State-dependent representation independence (2009)

by Amal Ahmed , Derek Dreyer , Andreas Rossberg
Venue:In Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Citations:63 - 19 self

Active Bibliography

20 A Relational Modal Logic for Higher-Order Stateful ADTs – Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal
1 State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings – Anindya Banerjee, David A. Naumann
12 Non-parametric Parametricity – Georg Neis, Derek Dreyer, Andreas Rossberg - 2010
16 A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References – Eijiro Sumii - 2009
11 Relational parametricity for references and recursive types – Lars Birkedal, Kristian Støvring, Jacob Thamsborg - 2009
35 Environmental bisimulations for higher-order languages – Davide Sangiorgi - 2007
7 The marriage of bisimulations and Kripke logical relations – Chung-kil Hur, Derek Dreyer, Georg Neis, Viktor Vafeiadis - 2012
Representation Independence, State Based Ownership, and Reentrancy – Anindya Banerjee, David A. Naumann - 2011
15 Logical Step-Indexed Logical Relations – Derek Dreyer, Amal Ahmed, Lars Birkedal
47 A bisimulation for type abstraction and recursion – Eijiro Sumii, Benjamin C. Pierce - 2005
10 Reasoning about class behavior – Vasileios Koutavas - 2007
Reviewers – Georg Neis, Dr. Derek, Dreyer Eidesstattliche Erklärung - 2009
2 A Relational Realizability Model for Higher-order Stateful ADTs – Lars Birkedal, Kristian Støvring, Jacob Thamsborg - 2010
unknown title – unknown authors
19 Step-indexed Kripke models over recursive worlds – Lars Birkedal, Bernhard Reus, Kristian Støvring, Jacob Thamsborg, Hongseok Yang - 2011
7 Semantic foundations for typed assembly languages – Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang - 2008
Under consideration for publication in J. Functional Programming 1 – Non-parametric Parametricity, Georg Neis, Derek Dreyer, Andreas Rossberg - 2011
1 Theory for Software Verification – David A. Naumann - 2009
12 Formalizing and verifying semantic type soundness for a simple compiler – Nick Benton, Uri Zarfaty - 2007