References

ASeUl86

A V Aho, R Sethi, J D Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley 1986.

BoDu93

Anders Bondorf, Dirk Dussart. Handwriting Cogen for a CPS-Based Partial Evaluator. Partial Evaluation and Semantics-Based Program Manipulation, 1994.

ChaUng91

Craig Chambers, David Ungar. Iterative Type Analysis and Extended Message Splitting: Optimizing Dynamically-Typed Object-Oriented Programs. Conference on Programming Language Design and Implementation, 1990. original.

CoHoNoNoVo96

Charles Consel, Luke Hornof, Francois Noël, Jacque Noyé, Nicolae Volanschi. A Uniform Approach for Compile-Time and Run-Time Specialization. Dagstuhl Workshop on Partial Evaluation (LNCS1110), 1996. original.

Consel93

Charles Consel. Polyvariant Binding-Time Analysis For Applicative Languages. Partial Evaluation and Semantics-Based Program Manipulation, 1993. original.

DaFi92

Olivier Danvy, Andrzej Filinksi. Representing Control, a Study of the CPS Transformation. Mathematical Structures in Computer Science, 2(4):361-391. original.

Danvy96

Olivier Danvy. Type-Directed Partial Evaluation. Principles of Programming Languages, 1996. original.

Deutsch94

Alain Deutsch. Interprocedural May-Alias analysis for pointers: Beyond k-limiting. Conference on Programming Language Design and Implementation, 1994.

Draves96

Scott Draves. Compiler Generation for Interactive Graphics using Intermediate Code. Dagstuhl Workshop on Partial Evaluation (LNCS1110), 1996. original.

EnHsKa95

Dawson Engler, Wilson Hsieh, M Frans Kaashoek. `C: A Language for High-Level, Efficient, and Machine-independent Dynamic Code Generation. Conference on Programming Language Design and Implementation, 1995. original. local.

Futamura71

Y Futamura. Partial evalutaion of computation process - an approach to a compiler-compiler. Systems, Computers, Controls, 2:45-50.

GoJo91

Carsten K Gomard, Neil Jones. A partial evaluator for the untyped lambda-calculus. Journal of Functional Programming, 1:21-69.

GoJoSte96

James Gosling, Bill Joy, Guy Steele. The Java Language Specification. Addison-Wesley 1996.

Granger89

Philippe Granger. Static Analysis of Arithmetic Congruences. International Journal of Computer Math, 1989:165-199.

GuBoGaMa91

P Le Guernic, M Le Borgne, T Gauthier, C Le Maire. Programing real time applications with SIGNAL. Proceedings of the IEEE, 79(9):1305-1320.

Henglein91

Fritz Henglein. Efficient Type Inference for Higher-Order Binding-Time Analysis. International Conference on Functional Programming Languages and Computer Architecture, 1991.

HePa90

John L Hennessy, David A Patterson. Computer Architecture: A Quantitative Approach. Morgan Kaufmann 1990.

IEEE91

IEEE. IEEE Standard 1076: VHDL Language Reference Manual. IEEE 1991. original

JoGoSe93

Neil Jones, Carsten K Gomard, Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice-Hall 1993.

JoSche86

Ulric Jørring, William Scherlis. Compilers and Staging Transformations. Principles of Programming Languages, 1986.

JoSeSo85

Neil D Jones, P Sestoft, H Søndergaard. An experiment in partial evaluation: The generation of a compiler generator. Rewriting Techniques and Applications, Dijon, France, 1985.

LeLe96

Peter Lee, Mark Leone. Optimizing ML with Run-Time Code Generation. Conference on Programming Language Design and Implementation, 1996. original.

Massalin92

Henry Massalin. Efficient Implementation of Fundamental Operating System Services. Columbia 1992. original.

PiLoRei85

Rob Pike, Bart Locanthi, John Reiser. Hardware/Software Trade-offs for Bitmap Graphics on the Blit. Software-Practice and Experience, 15:131-151.

Sheard96

Tim Sheard. A Type-directed, On-line, Partial Evaluator for a Polymorphic Language. OGI-TR-96-004.

Steele90

Guy Steele. Common Lisp the Language. Digital Press 1990. original.

Wadler92

Philip Wadler. The Essence of Functional Programming. Principles of Programming Languages, 1992.

WeiCoRuSe91

Daniel Weise, Roland Conybeare, Erik Ruf, Scott Seligman. Automatic online program specialization. International Conference on Functional Programming Languages and Computer Architecture, 1991.