Two for the Price of One: Composing Partial Evaluation and Compilation (1997)

Cached

Download Links

by Michael Sperber , Peter Thiemann
Citations:21 - 3 self

Active Bibliography

15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
5 A New One-Pass Transformation into Monadic Normal Form – Olivier Danvy - 2003
25 Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation – Daniel Damian, Olivier Danvy - 2000
22 Is Continuation-Passing Useful for Data Flow Analysis? – Amr Sabry, Matthias Felleisen - 1994
2 Formalizing Resource Allocation in a Compiler – Peter Thiemann - 1998
3 Efficient and safe-for-space closure conversion – Zhong Shao, Andrew W. Appel
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
32 Compilation by Transformation in Non-Strict Functional Languages – AndrĂ© L. de M. Santos - 1995
39 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure – Olivier Danvy, Ulrik P. Schultz - 2001
Staging Purely Functional Dynamic Programming Algorithms – Kedar N. Swadi, Walid Taha, Oleg Kiselyov , et al.
26 Partial Evaluation for Higher-Order Languages with State – Peter Thiemann, Dirk Dussart - 1996
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
4 An Extension Of The Acid Rain Theorem – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1996
32 A Calculational Fusion System HYLO – Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1997
4 Program Transformation in Calculational Form – Akihiko Takano, Zhenjiang Hu, Masato Takeichi - 1998
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
67 Space-Efficient Closure Representations – Zhong Shao, Andrew W. Appel - 1994
22 Callee-save Registers in Continuation-passing Style – Andrew W. Appel, Zhong Shao - 1992
9 Continuations and transducer composition – Olin Shivers - 2006