A certified framework for compiling and executing garbage-collected languages (2010)

by Andrew Mccreight , Tim Chevalier , Andrew Tolmach
Venue:In ICFP
Citations:17 - 0 self

Documents Related by Co-Citation

761 Separation Logic: A Logic for Shared Mutable Data Structures – John Reynolds - 2002
635 The Definition of Standard ML (Revised – R Milner, M Tofte, R Harper, D B MacQueen - 1997
497 The calculus of constructions – T Coquand, G P Huet - 1988
486 JFlow: Practical Mostly-Static Information Flow Control – Andrew C. Myers - 1999
585 A Lattice Model of Secure Information Flow – Dorothy E. Denning - 1976
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
25 A Verified Compiler for an Impure Functional Language – Adam Chlipala - 2009
889 Decentralized Trust Management – Matt Blaze, Joan Feigenbaum, Jack Lacy - 1996