|
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
|
|
34
|
A Correspondence between Continuation Passing Style and Static Single Assignment Form
– Richard Kelsey
- 1995
|
|
235
|
The Essence of Compiling with Continuations
– Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen
- 1993
|
|
210
|
Zadeck. Detecting equality of variables in programs
– Bowen Alpern, Mark N Wegman, F Kenneth
- 1988
|
|
72
|
SafeTSA: a type safe and referentially secure mobile-code representation based on Static Single Assignment form
– Wolfram Amme
- 2001
|
|
295
|
Constant propagation with conditional branches
– Mark N. Wegman, F. Kenneth Zadeck
- 1991
|
|
557
|
From System F to Typed Assembly Language
– Greg Morrisett, David Walker, Karl Crary, Neal Glew
- 1998
|
|
17
|
Functional Java Bytecode
– Christopher League, Valery Trifonov, Zhong Shao
- 2001
|
|
1016
|
Proof-Carrying Code
– George C. Necula
- 1997
|
|
595
|
Compiling with Continuations
– Andrew Appel
- 1992
|
|
213
|
Foundational Proof-Carrying Code
– Andrew W. Appel
- 2001
|
|
34
|
Correctness of procedure representations in higherorder assembly language
– Mitchell Wand
- 1991
|
|
104
|
Slim binaries
– Michael Franz, Thomas Kistler
- 1997
|
|
843
|
Advanced Compiler Design and Implementation
– S Muchnick
- 1997
|
|
14
|
Optimizing Memory Accesses For Spatial Computation
– Mihai Budiu , Seth Copen Goldstein
- 2003
|
|
104
|
Inheritance As Implicit Coercion
– Val Breazu-tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov
- 1991
|
|
158
|
Improvements to Graph Coloring Register Allocation
– Preston Briggs, Keith D. Cooper, Linda Torczon
- 1994
|
|
443
|
A study of replacement algorithms for a virtual-storage computer
– L A Belady
- 1966
|
|
110
|
Automatic construction of sparse data flow evaluation graphs
– Jong-Deok Choi, Ron Cytron, Jeanne Ferrante
- 1991
|
