Polymorphism and separation in Hoare type theory (2006)

by Aleksandar Nanevski , Greg Morrisett , Lars Birkedal
Venue:In icfp
Citations:69 - 14 self

Documents Related by Co-Citation

717 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
450 The Spec# Programming System: An Overview – Mike Barnett, K. Rustan M. Leino, Wolfram Schulte - 2004
163 Separation and Information Hiding – Peter W. O'Hearn, Hongseok Yang, John C. Reynolds - 2004
1318 Monads for functional programming – Philip Wadler - 1995
290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
270 Local Reasoning about Programs that Alter Data Structures – Peter O'Hearn, John Reynolds, Hongseok Yang - 2001
721 Types and programming languages – Benjamin C Pierce - 2002
1390 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
576 Assigning meanings to programs – R W Floyd