A Hoare Logic for Call-by-Value Functional Programs

Cached

Download Links

by Yann Régis-gianas , François Pottier
Citations:17 - 1 self

Active Bibliography

2 Extended Static Checking of Call-by-Value Functional Programs – Francois Pottier, Yann Regis-Gianas - 2007
562 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
38 Modular Data Structure Verification – Martin C. Rinard - 2007
486 The Spec# Programming System: An Overview – Mike Barnett, K. Rustan M. Leino, Wolfram Schulte - 2004
591 Dynamically discovering likely program invariants to support program evolution – M Ernst, J Cockrell, W Griswold, D Notkin - 1998
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
596 Eraser: a dynamic data race detector for multithreaded programs – Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson - 1997
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
859 The Temporal Logic of Actions – Leslie Lamport - 1993