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

587 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1090 Proof-Carrying Code – George C. Necula - 1997
269 The Design and Implementation of a Certifying Compiler – George C. Necula , Peter Lee - 1998
398 Safe Kernel Extensions Without Run-Time Checking – George C. Necula, Peter Lee
145 A Linearly Typed Assembly Language – James Cheney, Greg Morrisett
1073 Java Virtual Machine Specification – T Lindholm, F Yellin - 1999
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
141 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
129 A Certifying Compiler for Java – Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline - 2000
291 Abstract types have existential type – J C Mitchell, G D Plotkin - 1988
127 A semantic model of types and machine instructions for proof-carrying code – Amy P. Felty
259 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
138 Compiling with Proofs – George Ciprian Necula - 1998
681 Efficient Software-Based Fault Isolation – Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham - 1993
227 Une extension de L'interpretation de Godel `a l'analyse, et son application `a l"elimination des coupures dans l'analyse et la th'eorie des types – J-Y Girard - 1971
1559 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