|
50
|
SSA is Functional Programming
– Andrew W. Appel
- 1998
|
|
235
|
The Essence of Compiling with Continuations
– Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen
- 1993
|
|
749
|
Efficiently computing static single assignment form and the control dependence graph
– Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, F. Kenneth Zadeck
- 1991
|
|
595
|
Compiling with Continuations
– Andrew Appel
- 1992
|
|
295
|
Constant propagation with conditional branches
– Mark N. Wegman, F. Kenneth Zadeck
- 1991
|
|
843
|
Advanced Compiler Design and Implementation
– S Muchnick
- 1997
|
|
119
|
Rabbit: A compiler for Scheme
– Guy L Steele
- 1978
|
|
113
|
Modern Compiler Implementation in C
– A W Appel, M Ginsburg
- 1998
|
|
59
|
From ML to Ada: Strongly-typed Language Interoperability via Source Translation
– Andrew Tolmach, Dino P. Oliva
- 1993
|
|
219
|
TIL: A Type-Directed Optimizing Compiler for ML
– David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee
- 1995
|
|
210
|
Zadeck. Detecting equality of variables in programs
– Bowen Alpern, Mark N Wegman, F Kenneth
- 1988
|
|
118
|
Modern Compiler Implementation in ML
– A W Appel
- 1998
|
|
55
|
Practical Improvements to the Construction and Destruction of Static Single Assignment Form
– Preston Briggs, Keith D. Cooper, Timothy J. Harvey, L. Taylor Simpson, C○ John Wiley
- 1998
|
|
557
|
From System F to Typed Assembly Language
– Greg Morrisett, David Walker, Karl Crary, Neal Glew
- 1998
|
|
47
|
Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML
– David Tarditi
- 1996
|
|
5
|
Contification using dominators
– Matthew Fluet, Stephen Weeks
- 2001
|
|
458
|
Perspectives on Program Analysis
– Flemming Nielson
- 1996
|
|
165
|
Global value numbers and redundant computations
– B K Rosen, M N Wegman, F K Zadeck
- 1988
|
|
263
|
Definitional interpreters for higher-order programming languages
– John C. Reynolds
- 1972
|
