On the generation of specializers

[1]  John Launchbury,et al.  A Strongly-Typed Self-Applicable Partial Evaluator , 1991, FPCA.

[2]  Valentin F. Turchin,et al.  The concept of a supercompiler , 1986, TOPL.

[3]  Alexander Romanenko,et al.  Inversion and metacomputation , 1991, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation.

[4]  Neil D. Jones,et al.  Partial Evaluation, Self-Application and Types , 1990, ICALP.

[5]  Juhani Karhumäki,et al.  Automata, Languages and Programming , 1974, Lecture Notes in Computer Science.

[6]  Neil D. Jones,et al.  Mix: A self-applicable partial evaluator for experiments in compiler generation , 1989, LISP Symb. Comput..

[7]  Anders Bondorf,et al.  Improving binding times without explicit CPS-conversion , 1992, LFP '92.

[8]  Frank G. Pagan.  Converting interpreters into compilers , 1988, Softw. Pract. Exp..

[9]  Jesper Jørgensen,et al.  Generating a compiler for a lazy language by partial evaluation , 1992, POPL '92.

[10]  Robert Glück.  Towards multiple self-application , 1991 .

[11]  Anders Bondorf,et al.  Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types , 1991, Sci. Comput. Program..

[12]  Sergei M. Abramov.  Metacomputation and logic programming , 1992 .

[13]  Valentin F. Turchin,et al.  Program transformation with metasystem transitions , 1993, Journal of Functional Programming.

[14]  Valentin F. Turchin,et al.  The Use of Metasystem Transition in Theorem Proving and Program Optimization , 1980, ICALP.

[15]  Olivier Danvy,et al.  Static and dynamic semantics processing , 1991, POPL '91.

[16]  Andrei P. Ershov,et al.  Mixed Computation: Potential Applications and Problems for Study , 1982, Theor. Comput. Sci..

[17]  Olivier Danvy,et al.  Partial Evaluation of Pattern Matching in Strings , 1989, Inf. Process. Lett..

[18]  Robert Glück,et al.  Generating optimizing specializers , 1994, Proceedings of 1994 IEEE International Conference on Computer Languages (ICCL'94).

[19]  Peter Sestoft,et al.  Partial evaluation and automatic program generation , 1993, Prentice Hall international series in computer science.