Design Principles for Machine-Description Languages

Cached

Download Links

by Norman Ramsey , Jack W. Davidson , Mary F. Fernandez
Citations:1 - 0 self

Active Bibliography

Abstract Work in progress Design Principles for Machine-Description Languages – Norman Ramsey
590 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
648 Pin: building customized program analysis tools with dynamic instrumentation – Chi-keung Luk, Robert Cohn, Robert Muth, Harish Patil, Artur Klauser, Geoff Lowney, Steven Wallace, Vijay Janapa, Reddi Kim Hazelwood - 2005
540 DART: Directed automated random testing – Patrice Godefroid, Nils Klarlund, Koushik Sen - 2005
615 Exokernel: An Operating System Architecture for Application-Level Resource Management – Dawson R. Engler, M. Frans Kaashoek, James O’toole - 1995
1111 Proof-Carrying Code – George C. Necula - 1997
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1344 Xen and the art of virtualization – Paul Barham, Boris Dragovic, Keir Fraser, Steven H, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998