Documents Related by Co-Citation

1097 Proof-Carrying Code – George C. Necula - 1997
684 Efficient Software-Based Fault Isolation – Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham - 1993
405 Extensibility, safety and performance in the SPIN operating system – Brian N. Bershad, Stefan Savage, Przemys Pardyak, Emin Gun Sirer, Marc E. Fiuczynski, David Becker, Craig Chambers, Susan Eggers - 1995
1073 F.: The Java Virtual Machine Specification – T Lindholm, Yellin - 1999
271 The Design and Implementation of a Certifying Compiler – George C. Necula , Peter Lee - 1998
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha
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
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
142 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
251 Dealing with disaster: Surviving misbehaved kernel extensions – Margo I. Seltzer, Yasuhiro Endo, Christopher Small, Keith A. Smith - 1996
822 Decentralized Trust Management – Matt Blaze, Joan Feigenbaum, Jack Lacy - 1996
215 Making Paths Explicit in the Scout Operating System – David Mosberger, Larry L. Peterson - 1996
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
606 Exokernel: An Operating System Architecture for Application-Level Resource Management – Dawson R. Engler, M. Frans Kaashoek, James O’toole - 1995
36 A Flexible Measurement Tool for Software Systems – P Deutsch, C A Grant - 1971
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
24 A Web navigator with applets in Caml – Francois Rouaix - 1996
154 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996