Polymorphism and separation in Hoare type theory (2006)

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

Active Bibliography

Abstract Polymorphism and Separation in Hoare Type Theory – Aleksandar Nanevski, Greg Morrisett
43 Abstract predicates and mutable ADTs in Hoare type theory – Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal - 2007
Dependent Type Theory of Stateful Higher-Order Functions – unknown authors
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
551 Dynamically discovering likely program invariants to support program evolution – M D Ernst, J Cockrell, W G Griswold, D Notkin - 2001
1507 Some philosophical problems from the standpoint of artificial intelligence – John McCarthy, Patrick J. Hayes - 1969
568 Eraser: a dynamic data race detector for multithreaded programs – Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson - 1997
522 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
1318 Monads for functional programming – Philip Wadler - 1995