Documents Related by Co-Citation

1097 Proof-Carrying Code – George C. Necula - 1997
1073 F.: The Java Virtual Machine Specification – T Lindholm, Yellin - 1999
145 A Linearly Typed Assembly Language – James Cheney, Greg Morrisett
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
271 The Design and Implementation of a Certifying Compiler – George C. Necula , Peter Lee - 1998
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
684 Efficient Software-Based Fault Isolation – Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham - 1993
90 An Overview of the FLINT/ML Compiler – Zhong Shao - 1997
399 Safe Kernel Extensions Without Run-Time Checking – George C. Necula, Peter Lee
317 Pizza into Java: Translating theory into practice – Martin Odersky, Philip Wadler - 1997
155 TALx86: A Realistic Typed Assembly Language – Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, Steve Zdancewic - 1999
127 types can change the world – Linear - 1990
721 Security policies and security models – J A Goguen, J Meseguer - 1982
414 A SOUND TYPE SYSTEM FOR SECURE FLOW ANALYSIS – Dennis Volpano, Geoffrey Smith, Cynthia Irvine - 1996
315 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999
127 A semantic model of types and machine instructions for proof-carrying code – Amy P. Felty
141 Compiling with Proofs – George Ciprian Necula - 1998
76 Flexible Type Analysis – Karl Crary, Stephanie Weirich - 1999