Documents Related by Co-Citation

23 Hiding local state in direct style: a higher-order anti-frame rule – F Pottier - 2008
15 A Semantic Foundation for Hidden State – Jan Schwinghammer, Hongseok Yang, Lars Birkedal, François Pottier, Bernhard Reus
704 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
699 Types and programming languages – B C Pierce - 2002
18 Step-indexed Kripke models over recursive worlds – Lars Birkedal, Bernhard Reus, Kristian Støvring, Jacob Thamsborg, Hongseok Yang - 2011
58 Semantics of separation-logic typing and higher-order frame rules – Lars Birkedal, Noah Torp-smith - 2005
19 Realizability semantics of parametric polymorphism, general references, and recursive types – Lars Birkedal, Kristian Støvring, Jacob Thamsborg - 2010
14 The essence of monotonic state – Alexandre Pilkiewicz, François Pottier - 2009
67 Separation logic, abstraction and inheritance – M Parkinson, G Bierman - 2008
135 An Indexed Model of Recursive Types for Foundational Proof-Carrying Code – Andrew W. Appel, David Mcallester - 2000
16 Separation logic for higher-order store – Bernhard Reus, Jan Schwinghammer - 2006
28 Nested Hoare triples and frame rules for higher-order store – Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang - 2009
62 State-dependent representation independence – Amal Ahmed, Derek Dreyer, Andreas Rossberg - 2009
19 A Relational Modal Logic for Higher-Order Stateful ADTs – Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal
10 Generalizing the higher-order frame and anti-frame rules. Unpublished – François Pottier - 2009
21 Functional Translation of a Calculus of Capabilities – Arthur Charguéraud, François Pottier - 2007
55 Semantics of Types for Mutable State – Amal Jamil Ahmed - 2004
8 A Simple Model of Separation Logic for Higher-order Store – Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang
7 Three comments on the anti-frame rule. Unpublished – F Pottier - 2009