TALx86: A Realistic Typed Assembly Language (1999)

by Greg Morrisett , Karl Crary , Neal Glew , Dan Grossman , Richard Samuels , Frederick Smith , David Walker , Stephanie Weirich , Steve Zdancewic
Venue:In Second Workshop on Compiler Support for System Software
Citations:155 - 37 self

Documents Related by Co-Citation

588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1097 Proof-Carrying Code – George C. Necula - 1997
271 The Design and Implementation of a Certifying Compiler – George C. Necula , Peter Lee - 1998
399 Safe Kernel Extensions Without Run-Time Checking – George C. Necula, Peter Lee
145 A Linearly Typed Assembly Language – James Cheney, Greg Morrisett
1073 F.: The Java Virtual Machine Specification – T Lindholm, Yellin - 1999
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
142 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
130 A Certifying Compiler for Java – Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline - 2000
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
127 A semantic model of types and machine instructions for proof-carrying code – Amy P. Felty
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996
90 An Overview of the FLINT/ML Compiler – Zhong Shao - 1997
141 Compiling with Proofs – George Ciprian Necula - 1998
684 Efficient Software-Based Fault Isolation – Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham - 1993
227 Une extension de l’interprétation de Gödel à l’analyse, et son application à l’élimination des coupures dans l’analyse et la théorie des types – Jean-Yves Girard - 1970
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
94 A syntactic approach to foundational proof-carrying code – Nadeem A. Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni - 2002