A Correspondence between Continuation Passing Style and Static Single Assignment Form (1995)

Cached

Download Links

by Richard Kelsey
Venue:ACM SIGPLAN Notices
Citations:38 - 0 self

Documents Related by Co-Citation

59 SSA is Functional Programming – Andrew W. Appel - 1998
625 Compiling With Continuations – A W Appel - 1992
839 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
269 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
309 Constant propagation with conditional branches – Mark N. Wegman, F. Kenneth Zadeck - 1991
221 Detecting equality of variables in programs – B Alpern, M Wegman, F Zadeck - 1988
128 Rabbit: A compiler for Scheme – Guy L Steele - 1978
65 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
958 Advanced Compiler Design and Implementation – Steven S Muchnick - 1997
227 TIL: A Type-Directed Optimizing Compiler for ML – David Tarditi , Greg Morrisett, Perry Cheng, Chris Stone, Robert Harper, Peter Lee - 1995
127 Modern Compiler Implementation in C – Andrew W Appel - 1998
61 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
48 Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML – David Tarditi - 1996
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
8 Contification using dominators – Matthew Fluet, Stephen Weeks
529 Perspectives on Program Analysis – Flemming Nielson - 1996
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
176 Global value numbers and redundant computations – B K ROSEN, M N WEGMAN, F K ZADECK - 1988
1097 Proof-Carrying Code – George C. Necula - 1997