🚀 go-pugleaf

wg@opal.cs.tu-berlin.de (Wolfgang Grieskamp) writes:

>This is (once again, others did earlier) a query about program
>transformation, this time in the context of their application in
>extended compilation ...

------

"Compilation by Program Transformation", Richard Kelsey, Yale PhD
Thesis: YALEU/CSD/RR #702, May 1989. -- Pascal, BASIC, and Scheme
front ends into CPS.

{a report on the above}
Kelsey & Hudak: "Realistic Compilation by Program Transformation",
Sixteenth ACM Symposium on Principles of Programming Languages, 1989.

{uses several of the techniques and has a good bib}
Friedman, Wand, Haynes: _Essentials of Programming Languages_, 1991
ISBN: 0-262-06145-7 (MIT Press) (hb)
      0-07-022443-9 (McGraw Hill)

M. Wand, "From Interpreter to Compiler: A Representational
Derivation", in Programs as Data Objects, Springer-Verlag Lecture
Notes #217, 1986.


Note also: {partial evaluation papers}

D. Weise, R. Conybeare, E. Ruf, S. Seligman: "Automatic Online Partial
Evaluation", in Springer-Verlag Lecture Notes in Computer Science
#523, Functional Programming Languages and Computer Architectures.

Andrew Berlin: "Partial Evaluation Applied to Numerical Computation",
in Proceedings of the 1990 ACM Conference on Lisp and Functional
Programming, June 27-29, 1990, [ACM #552900; ISBN 0-89791-368-X].

{various papers}
SIGPLAN NOTICES v26, #9, September 1991: "Proceedings of the Symposium
on Partial Evaluation and Semantics-Based Program Manipulation"