Xoc, an Extension-Oriented Compiler for Systems Programming

by Russ Cox , Tom Bergan , Austin T. Clements , Frans Kaashoek , Eddie Kohler
Citations:2 - 1 self

Active Bibliography

(ASPLOS ’08) Xoc, an Extension-Oriented Compiler for Systems Programming Abstract – Russ Cox, Tom Bergan, Austin T. Clements, Frans Kaashoek, Eddie Kohler
Extensible and Extension-Oriented Compilers – Austin T. Clements, M. Frans Kaashoek, Austin T. Clements - 2008
4 A comparison of designs for extensible and extension-oriented compilers – Austin T. Clements, M. Frans Kaashoek, Austin T. Clements
522 Extended Static Checking for Java – Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata - 2002
540 DART: Directed automated random testing – Patrice Godefroid, Nils Klarlund, Koushik Sen - 2005
835 The Concept of a Linguistic Variable and its Application to Approximate Reasoning – L. A. Zadeh - 1975
701 Interprocedural Slicing Using Dependence Graphs – Susan Horwitz, Thomas Reps, David Binkley - 1990
An Extension-Oriented Compiler – Russell Stensby Cox - 2008
450 The Spec# Programming System: An Overview – Mike Barnett, K. Rustan M. Leino, Wolfram Schulte - 2004