Previous: Acknowledgements Up: Deferred Compilation: The Automation of Run-Time Code Generation Next: Appendix A Idealized RISC

References

App87

Andrew W. Appel. Re-opening closures. Technical Report CS-TR-079-87, Department of Computer Science, Princeton University, 1987.

BD91

Anders Bondorf and Olivier Danvy. Automatic autoprojection of recursive equations with global variables and abstract data types. Science of Computer Programming, 16(2):151-195, September 1991.

BHL93

Edoardo Biagioni, Robert Harper, and Peter Lee. Standard ML signatures for a protocol stack. Technical Report CMU-CS-93-170, Computer Science Department, Carnegie Mellon University, October 1993.

Bon93

Anders Bondorf. Similix manual, system version 5.0. Technical report, DIKU, University of Copenhagen, Denmark, 1993.

BW90

Andrew Berlin and Daniel Weise. Compiling scientific code using partial evaluation. IEEE Computer, 23(12):25-37, December 1990.

BW93

Lars Birkedal and Morten Welinder. Partial evaluation of Standard ML. Master's thesis, DIKU, University of Copenhagen, Denmark, 1993.

CH84

Frederick Chow and John Hennessy. Register allocation by priority-based coloring. In Proceedings of the ACM SIGPLAN '84 Symposium on Compiler Construction, pages 222-232. SIGPLAN Notices, June 1984.

Cha82

Gregory J. Chaitin. Register allocation and spilling via graph coloring. SIGPLAN Notices, 17(6):98-105, June 1982.

CHK93

Keith D. Cooper, Mary W. Hall, and Ken Kennedy. A methodology for procedure cloning. Computer Languages, 19(2):105-117, April 1993.

CHT91

Keith D. Cooper, Mary W. Hall, and Linda Torczon. An experiment with inline substitution. Software - Practice and Experience, 21(6):581-601, June 1991.

Con88

Charles Consel. New insights into partial evaluation: The Schism experiment. In H. Ganzinger, editor, ESOP '88, 2nd European Symposium on Programming (Lecture Notes in Computer Science, vol. 300), pages 236-246. Springer-Verlag, March 1988.

Con93

Charles Consel. Polyvariant binding-time analysis for higher-order, applicative languages. In Proceedings of the ACM Symposium on Partial Evaluation and Seman Program Manipulation, pages 145-154, June 1993.

CPW93

Charles Consel, Calton Pu, and Jonathan Walpole. Incremental partial evaluation: The key to high performance, modularity and portability in operating systems. In Proceedings of the Symposium on Partial Evaluation and Seman Program Manipulation, pages 44-46. Association for Computing Machinery, June 1993.

CU89

Craig Chambers and David Ungar. Customization: Optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language. In ACM SIGPLAN '89 Conference on Programming Language Design and Implementation, Portland, pages 146-160, June 1989.

DBV91

Anne De Niel, Eddy Bevers, and Karel De Vlaminck. Program bifurcation for a polymorphically typed functional language. In Proceedings of the Symposium on Partial Evaluation and Seman Program Manipulation, pages 142-153. SIGPLAN Notices, September 1991.

DHB90

R. Kent Dybvig, Robert Hieb, and Tom Butler. Destination-driven code generation. Technical Report 302, Computer Science Department, Indiana University, January 1990.

DS84

L. Peter Deutsch and Allan M. Schiffman. Efficient implementation of the Smalltalk--80 system. In Conference Record of the 11th Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, pages 297-302, January 1984.

FL92

Marc Feeley and Guy Lapalme. Closure generation based on viewing lambda as epsilon plus compile. Computer Languages, 17(4):251-267, October 1992.

HBHM93

Nicholas Haines, Edoardo Biagioni, Robert Harper, and Brian G. Milnes. Note on conditional compilation in Standard ML. Technical Report CMU-CS-93-172, Computer Science Department, Carnegie Mellon University, June 1993.

HMM90

Robert Harper, John Mitchell, and Eugenio Moggi. Higher-order modules and the phase distinction. In Conference Record of the 17th Annual ACM Symposium on Principles of Programming Languages, San Francisco, pages 341-354, January 1990.

Hol88

N. Carsten Kehler Holst. Language triplets: The AMIX approach. In D. Bjrner, A.P. Ershov, and N.D. Jones, editors, Partial Evaluation and Mixed Computation, pages 167-185. North-Holland, October 1988.

JGS93

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

JS86

Ulrik Jrring and William L. Scherlis. Compilers and staging transformations. In Conference Record of the 13th Annual ACM Symposium on Principles of Programming Languages, pages 86-96, January 1986.

JSS89

Neil D. Jones, Peter Sestoft, and Harald Sndergaard. Mix: A self-applicable partial evaluator for experiments in compiler generation. LISP and Symbolic Computation, 2(1):9-50, 1989.

KEH91

David Keppel, Susan J. Eggers, and Robert R. Henry. A case for runtime code generation. Technical Report 91-11-04, Department of Computer Science and Engineering, University of Washington, November 1991.

KEH93

David Keppel, Susan J. Eggers, and Robert R. Henry. Evaluating runtime-compiled value-specific optimizations. Technical Report 93-11-02, Department of Computer Science and Engineering, University of Washington, November 1993.

Kep91

David Keppel. A portable interface for on-the-fly instruction space modification. In Proceedings of the 4th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 86-95, April 1991.

KLS92

Philip J. Koopman, Jr., Peter Lee, and Daniel P. Siewiorek. Cache behavior of combinator graph reduction. ACM Transactions on Programming Languages and Systems, 14(2):265-297, April 1992.

Mal93

Karoline Malmkjr. Towards efficient partial evaluation. In Proceedings of the Symposium on Partial Evaluation and Seman Program Manipulation, pages 33-43. Association for Computing Machinery, June 1993.

Mas92

Henry Massalin. Synthesis: An Efficient Implementation of Fundamental Operating System Services. PhD thesis, Department of Computer Science, Columbia University, 1992.

Mog88

Torben Mogensen. Partially static structures in a self-applicable partial evaluator. In D. Bjrner, A.P. Ershov, and N.D. Jones, editors, Partial Evaluation and Mixed Computation, pages 325-347. North-Holland, October 1988.

MP89

Henry Massalin and Calton Pu. Threads and input/output in the synthesis kernel. In Proceedings of the 12th ACM Symposium on Operating Systems Principles, pages 191-201, December 1989.

NN92

Flemming Nielson and Hanne Riis Nielson. Two-level functional languages. Cambridge Tracts in Theoretical Computer Science, 34, 1992.

PLR85

Rob Pike, Bart Locanthi, and John Reiser. Hardware/software trade-offs for bitmap graphics on the blit. Software - Practice and Experience, 15(2):131-151, February 1985.

SW93

A. Srivastava and David W. Wall. A practical system for intermodule code optimization at link-time. Journal of Programming Languages, 1(1):1-18, March 1993.

Tho68

Ken Thompson. Regular expression search algorithm. Communications of the Association for Computing Machinery, 11(6):419-422, June 1968.

Wal91

David W. Wall. Predicting program behavior using real or estimated profiles. In ACM SIGPLAN '91 Conference on Programming Language Design and Implementation, Toronto, pages 59-70, June 1991.