Documents Related by Co-Citation

1016 Proof-Carrying Code – George C. Necula - 1997
627 Efficient Software-Based Fault Isolation – Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham - 1993
392 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
1023 Yellin F. Java Virtual Machine Specification – T Lindholm - 1999
245 The Design and Implementation of a Certifying Compiler – George C. Necula , Peter Lee - 1998
1542 A.: The Java Language Specification – J Gosling, B Joy, G Steele, G Bracha, Buckley - 2012
143 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
1497 The Definition of Standard ML – Robin Milner, Mads Tofte, Robert Harper - 1990
557 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
132 Intensional Polymorphism in Type-Erasure Semantics – Karl Crary, Stephanie Weirich, Greg Morrisett - 2002
238 Dealing with disaster: Surviving misbehaved kernel extensions – Margo I. Seltzer, Yasuhiro Endo, Christopher Small, Keith A. Smith - 1996
742 Decentralized Trust Management – Matt Blaze, Joan Feigenbaum, Jack Lacy - 1996
208 Making Paths Explicit in the Scout Operating System – David Mosberger, Larry L. Peterson - 1996
195 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 – J-Y Girard - 1970
561 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
252 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
24 A Web navigator with applets in Caml – Francois Rouaix - 1996
146 Typed closure conversion – Yasuhiko Minamide, Greg Morrisett, Robert Harper - 1996