CPS Transformation after Strictness Analysis (1993)

by Olivier Danvy , John Hatcliff , Cv Ffi S
Venue:ACM Letters on Programming Languages and Systems
Citations:26 - 10 self

Documents Related by Co-Citation

220 Call-by-name, call-by-value and the -calculus – G D Plotkin - 1975
730 Notions of Computation and Monads – Eugenio Moggi - 1991
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
161 Reasoning about Programs in Continuation-Passing Style – Amr Sabry Sabry, Matthias Felleisen
105 Danvy and Andrzej Filinski. Representing control: A study of the CPS transformation – Olivier - 1992
269 The Essence of Compiling with Continuations – Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen - 1993
91 Abstract Interpretation and Optimising Transformations for Applicative Programs – A MYCROFT - 1981
37 Specifying the correctness of binding-time analysis – Michell Wand - 1993
70 S.: Strictness analysis for higher-order functions – G L Burn, C L Hankin, Abramsky - 1986
625 Compiling With Continuations – A W Appel - 1992
57 Strictness analysis: a new perspective based on type inference – Tsung-Min Kuo, Prateek Mishra - 1989
93 Rabbit: A compiler for Scheme – Guy L Steele Jr - 1978
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
15 Proving the Correctness of Compiler Optimisations Based on a Global Analysis: A Study of Strictness Analysis – Geoffrey Burn, Daniel Le M'etayer - 1992
31 Strictness Analysis of Lazy Functional Programs – P N Benton - 1992
46 On the relation between direct and continuation semantics – J C Reynolds - 1974
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
45 and Hanne Riis Nielson. Two-Level Functional Languages, volume 34 of Cambridge Tracts – Flemming Nielson - 1992
5 Context information for lazy code generation – H R Nielson, F Nielson - 1990