|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
4
|
A New One-Pass Transformation into Monadic Normal Form
– Olivier Danvy
- 2003
|
|
21
|
Is Continuation-Passing Useful for Data Flow Analysis?
– Amr Sabry, Matthias Felleisen
- 1994
|
|
2
|
Formalizing Resource Allocation in a Compiler
– Peter Thiemann
- 1998
|
|
1
|
Efficient and safe-for-space closure conversion
– Zhong Shao, Andrew W. Appel
|
|
22
|
Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems
– Patricia Johann, Eelco Visser
- 2000
|
|
29
|
Compilation by Transformation in Non-Strict Functional Languages
– André L. de M. Santos
- 1995
|
|
32
|
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.
|
|
23
|
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
|
|
41
|
`C and tcc: A Language and Compiler for Dynamic Code Generation
– Massimiliano Poletto, C. Hsieh, Wilson C. Hsieh, Dawson R. Engler, M. Frans Kaashoek
- 1999
|
|
3
|
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, Y. Onoue, Z. Hu, H. Iwasaki, M. Takeichi
- 1997
|
|
|
Design and Implementation of a Partial Evaluation-Based Compiler for an Asynchronous Realtime Programming Language
– Markus Freericks
- 1996
|
|
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
|
|
65
|
Space-Efficient Closure Representations
– Zhong Shao, Andrew W. Appel
- 1994
|
|
22
|
Callee-save Registers in Continuation-passing Style
– Andrew W. Appel, Zhong Shao
- 1992
|
