Dynamic partial evaluation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2053 LNCS, Issue , 2001, Pages 238-256

  Sullivan, Gregory T ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; DIFFERENTIATION (CALCULUS); MACHINE ORIENTED LANGUAGES; OBJECT ORIENTED PROGRAMMING; PROGRAM INTERPRETERS; SEMANTICS; COMPUTATIONAL LINGUISTICS; STATIC ANALYSIS;

ABSTRACTION MECHANISM; COMPUTATIONAL REFLECTION; DYNAMIC TYPING; GENERIC FUNCTIONS; LAMBDA CALCULUS; META-OBJECTS; PARTIAL EVALUATION; REFLECTIVE OBJECTS; VIRTUAL MACHINES;

STATIC ANALYSIS; OBJECT ORIENTED PROGRAMMING;

EID: 84888270281     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44978-7_14     Document Type: Conference Paper

References (18)

1. Mathias Braux and Jacques Noyé. Towards partially evaluating reflection in java. In Proceedings of the 2000 ACM SIGPLAN Workshop on Evaluation and Semantics-Based Program Manipulation (PEPM-00), pages 2-11, N.Y., January 22-23 2000. ACM Press.
2. Craig Chambers and Weimin Chen. Efficient multiple and predicate dispatching. In Loren Meissner, editor, Proceeings of the 1999 ACM SIG-PLAN Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA'99), Volume 34.10 of ACM Sigplan Notices, pages 238-255, N.Y., November 1-5 1999. ACM Press.
3. Craig Chambers. The Design and Implementation of the Self Compiler, an Optimizing Compiler for Object-Oriented Programming Languages. PhD thesis, Computer Science Department, Stanford University, March 1992.
4. Charles Consel and François Nöel. A general approach for run-time specialization and its application to C. In ACM, editor, Conference record of POPL '96, 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: papers presented at the Symposium: St. Petersburg Beach, Florida, 21-24 January 1996, pages 145-156, New York, NY, USA, 1996. ACM Press.
5. Jeffrey Dean, Craig Chambers, and David Grove. Selective specialization for object-oriented languages. In Proceedings of the ACM SIG-PLAN'95 Conference on Programming Language Design and Implementation (PLDI), pages 93-102, La Jolla, California, 18-21 June 1995
6. SIG-PLAN Notices 30(6), June 1995.
7. Michael Ernst, Craig Kaplan, and Craig Chambers. Predicate dispatching: A unified theory of dispatch. In Eric Jul, editor, ECOOP '98-Object-Oriented Programming, Volume 1445 of Lecture Notes in Computer Science, pages 186-211. Springer, 1998.
8. James Gosling, Bill Joy, Guy Steele, and Gilad Bracha. The Java Language Specification Second Edition. The Java Series. Addison-Wesley, Boston, Mass., 2000.
9. Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall International, International Series in Computer Science, June 1993. ISBN number 0-13-020249-5 (pbk).
10. G. Kiczales, J. des Rivières, and D.G. Bobrow. The Art of the Meta-Object Protocol. MIT Press, Cambridge (MA), USA, 1991.
11. Pattie Maes. Concepts and experiments in computational reflection. In Norman Meyrowitz, editor, Proceedings of the 2nd Annual Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA '87), pages 147-155, Orlando, FL, USA, October 1987. ACM Press.
12. Hidehiko Masuhara, Satoshi Matsuoka, Kenichi Asai, and Akinori Yonezawa. Compiling away the meta-level in object-oriented concurrent reflective languages using partial evaluation. In OOPSLA '95 Conference Proceedings: Object-Oriented Programming Systems, Languages, and Applications, pages 300-315. ACM Press, 1995.
13. Hidehiko Masuhara and Akinori Yonezawa. Design and partial evaluation of meta-objects for a concurrent reflective language. In Eric Jul, editor, ECOOP '98-Object-Oriented Programming, Volume 1445 of Lecture Notes in Computer Science, pages 418-439. Springer, 1998.
14. Calton Pu, Tito Autrey, Andrew Black, Charles Consel, Crispin Cowan, Jon Inouye, Lakshmi Kethana, Jonathan Walpole, and Ke Zhang. Optimistic incremental specialization: Streamlining a commercial operating system. In Proc. 15th ACM Symposium on Operating Systems Principles, Copper Mountain CO (USA), December 1995. http://www.irisa.fr/ EXTERNE/projet/lande/consel/papers/spec-sosp.ps.gz.
15. Calton Pu, Henry Massalin, and John Ioannidis. The synthesis kernel. In USENIX Association, editor, Computing Systems, Winter, 1988., Volume 1, pages 11-32, Berkeley, CA, USA, Winter 1988. USENIX.
16. Erik Ruf. Topics in online partial evaluation. PhD thesis, Stanford Computer Systems Laboratory, March 1993.
17. U.P. Schultz, J.L. Lawall, C. Consel, and G. Muller. Towards automatic specialization of Java programs. Lecture Notes in Computer Science, 1628:367-, 1999.
18. Eugen N. Volanschi, Charles Consel, and Crispin Cowan. Declarative specialization of object-oriented programs. In Proceedings of the ACM SIG-PLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA-97), Volume 32, 10 of ACM SIGPLAN Notices, pages 286-300, New York, October 5-9 1997. ACM Press.