Engineering a common intermediate representation for the Ovm framework

Control-flow analysis of higher-order languages of taming lambda

Olin Shivers · Modern healthcare · 1991 · 343 citations

Engineering, Compiler Technology, Software Engineering +22

The Jalapeño dynamic optimizing compiler for Java

Michael Burke, Jong-Deok Choi, Stephen J. Fink et al. · 1999 · 273 citations

Engineering, Compiler Technology, Computer Architecture +18

Encapsulating objects with confined types

Christian Grothoff, Jens Palsberg, Jan Vítek · 2001 · 102 citations

Engineering, Encapsulation (Computer Programming), Program Analysis +15

A tractable Scheme implementation

Richard Kelsey, Jonathan Rees · LISP and Symbolic Computation · 1994 · 68 citations

Tractable Scheme Implementation, Programming Language Theory, Cryptographic Primitive +6

Joeq

John Whaley · 2003 · 51 citations

Engineering, Compiler Technology, Computer Architecture +17