Readscheme.org
Scheme Bibliography Home
Classics
Semantics
Macros
Objects
Modules
Continuations
Web Programming
Applications
Implementation
Concurrent Programming
Partial Evaluation
Reflection
Recent Additions

Partial Evaluation

Visit the NEW, more comprehensive "Online Bibliography of Partial Evaluation Research"

Tutorials and Surveys

  • Charles Consel and Olivier Danvy. "Tutorial Notes on Partial Evaluation". Principles of Programming Languages (POPL'93). January 1993. Available online: ps.
  • Charles Consel and Olivier Danvy. "Partial Evaluation: Principles and Perspectives". Journees Francophones des Langages Applicatifs. February 1993. Available online: ps.
  • Robert Glück and Neil D. Jones. "Automatic program specialization by partial evaluation: an introduction". Software Engineering in Scientific Computing. 1996. Available online: ps.
  • John Hatcliff. "Foundations of Partial Evaluation and Program Specialization". Kansas State University. March 1999. Available online: course notes.
  • Neil D. Jones. "An Introduction to Partial Evaluation". ACM Computing Surveys. Vol. 28. No. 3. September 1996. Available online: ps.
  • Neil D. Jones. "MIX Ten Years Later". Partial Evaluation and Program Manipulation (PEPM '95). 1995. Available online: ps.
  • Neil D. Jones, Carsten K. Gomard and Peter Sestoft. "Partial Evaluation and Automatic Program Generation". 1993. Available online: ps pdf book website.
  • Darius Bacon. "A Hacker's Introduction to Partial Evaluation". The Lisp Magazine at lisp-p.org. August 2002. Available online: html.

Partial Evaluators for Scheme

  • Anders Bondorf. "Similix 5.0 Manual". 1993. Available online: ps pdf.
  • Charles Consel. "New Insights into Partial Evaluation: the SCHISM Experiment". 2nd European Symposium on Programming (ESOP '88). March 1988. Available online: ps pdf.
  • Charles Consel. "A tour of Schism: a partial evaluation system for higher-order applicative languages". ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '93). June 1993. Available online: ps.
  • Charles Consel. "Report on Schism (Manual)". IRISA/University of Rennes I. January 1996. Available online: ps.
  • Jesper Jørgensen. "Similix: A Self-Applicable Partial Evaluator for Scheme". Partial Evaluation: Practice and Theory (DIKU International Summer School 1998). LNCS 1706. June 1998. Available online: html.
  • Peter Ørbæk. "POPE: An On-line Partial Evaluator". University of Aarhus. June 1994. Available online: ps.
  • Peter Thiemann. "Towards Partial Evaluation of Full Scheme". Reflection'96. April 1996. Available online: ps.
  • Peter Thiemann. "Aspects of the PGG System: Specialization for Standard Scheme". Partial Evaluation: Practice and Theory (DIKU International Summer School 1998). LNCS 1706. June 1998.
  • Peter Thiemann. "The PGG System - User Manual". University at Freiburg. March 2000. Available online: ps html.
  • Christian Mossin. "Similix Binding Time Debugger Manual, system version 4.0". September 1991.
  • Rajeev J. Surati. "Practical Partial Evaluation". Masters Thesis. Massachussets Institute of Technology. May 1995. Available online: ps pdf.
  • Richard Schooler. "Partial Evaluation as a Means of Language Extensibility". Masters Thesis. Massachusetts Institute of Technology. MIT/LCS/TR-324. August 1984. Available online: ps pdf.
  • Lennart Swart. "Partial Evaluation using Rewrite Rules: A Specification of a Partial Evaluator for Similix in Stratego". Masters Thesis. Utrecht University. August 2002. Available online: ps pdf.

Applications of Partial Evaluation

  • Anders Bondorf. "Compiling laziness by partial evaluation". Functional Programming, Glasgow 1990. 1990. Available online: ps pdf.
  • Olivier Danvy. "More about Formatting". Aarhus University. December 1993. Available online: ps pdf.
  • Mads Sig Ager, Olivier Danvy and Henning Korsholm Rohde. "Fast Partial Evaluation of Pattern Matching in Strings". Partial Evaluation and Semantics-Based Program Manipulation (PEPM '03). 2003. Available online: ps pdf.
  • Andrew A. Berlin. "A Compilation Strategy for Numerical Programs Based on Partial Evaluation". Masters Thesis. February 1989. Available online: ps pdf.
  • Andrew A. Berlin and Daniel Weise. "Compiling Scientific Code Using Partial Evaluation". July 1989. Available online: ps pdf.
  • Andrew A. Berlin and Rajeev J. Surati. "Exploiting the Parallelism Exposed by Partial Evaluation". April 1993. Available online: ps pdf.
  • Andrew A. Berlin and Rajeev J. Surati. "Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience". May 1994. Available online: ps pdf.
  • Rajeev J. Surati. "A Parallelizing Compiler Based on Partial Evaluation". Massachusetts Institute of Technology. AITR-1377. July 1993. Available online: ps pdf.
  • Olivier Danvy and Morten Rhiger. "Compiling Actions by Partial Evaluation, Revisited". Aarhus University. June 1998. Available online: ps pdf.
  • Anders Bondorf and Jens Palsberg. "Compiling actions by partial evaluation". Functional Programming and Computer Architecture (FPCA'93). June 1993. Available online: ACM Digital Library.
  • Anders Bondorf and Jens Palsberg. "Generating action compilers by partial evaluation". Journal of Functional Programming. 6(2). 1996.
  • Hidehiko Masuhara, Gregor Kiczales and Christopher Dutchyn. "A Compilation and Optimization Model for Aspect-Oriented Programs". Compiler Construction (CC2003). 2003. Available online: ps pdf.
  • Hidehiko Masuhara, Gregor Kiczales and Christopher Dutchyn. "Compilation Semantics of Aspect-Oriented Programs". Foundations Of Aspect-Oriented Languages (Workshop at AOSD 2002). April 2002. Available online: ps pdf.
  • Scott Draves. "Compiler Generation for Interactive Graphics using Intermediate Code". Partial Evaluation: Dagstuhl Seminar. LNCS 1110. February 1996. Available online: ps pdf.
  • Scott Draves. "Automatic Program Specialization for Interactive Media". PhD. Thesis. Carnegie Mellon University. Available online: ps pdf.
  • Charles Consel and Olivier Danvy. "Partial Evaluation in Parallel". Lisp and Symbolic Computation. Volume 5. Issue 4. 1992. Available online: ps pdf.
  • David Herman and Philippe Meunier. "Improving the Static Analysis of Embedded Languages via Partial Evaluation". International Conference on Functional Programming (ICFP2004). September 2004. Available online: ps pdf.
  • Mads Sig Ager, Olivier Danvy and Henning Korsholm Rohde. "Fast Partial Evaluation of Pattern Matching in Strings". University of Aarhus. BRICS-RS-03-11. February 2003. Available online: ps pdf.
  • Mads Sig Ager, Olivier Danvy and Henning Korsholm Rohde. "On Obtaining Knuth, Morris, and Pratt's String Matcher by Partial Evaluation". ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, ASIA-PEPM '02. July 2002. Available online: ps pdf.
  • Torben Amtoft, Charles Consel, Olivier Danvy and Karoline Malmkjær. "The Abstraction and Instantiation of String-Matching Programs". University of Aarhus. RS-01-12. April 2001. Available online: ps pdf.
  • Kenichi Asai, S. Matsuoka and Akinori Yonezawa. "Duplication and Partial Evaluation - For a Better Understanding of Reflective Languages". Lisp and Symbolic Computation. Vol. 9, Nos. 2/3. May/June 1996. Available online: ps.
  • Kenichi Asai, Hidehiko Masuhara, S. Matsuoka and Akinori Yonezawa. "Partial evaluation as a compiler for reflective languages". University of Tokyo. 95-10. December 1995. Available online: ps.
  • Kenichi Asai, S. Matsuoka and Akinori Yonezawa. "Roles of a Partial Evaluator for the Reflective Language Black". University of Tokyo. 94-11. May 1994. Available online: ps.
  • Kenichi Asai. "Online partial evaluation for shift and reset". Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation (PEPM'02). January 2002. Available online: ps ACM Digital Library.
  • Kenichi Asai. "Can partial evaluation improve the performance of ray tracing?". Ochanomizu University. June 2002. Available online: ps.
  • Andrew A. Berlin and Rajeev J. Surati. "Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94). June 1994. Available online: ps pdf.
  • Andrew A. Berlin. "Partial evaluation applied to numerical computation". LISP and Functional Programming (LFP 1990). 1990. Available online: ACM Digital Library.
  • Andrew A. Berlin and Daniel Weise. "Compiling Scientific Code using Partial Evaluation". Stanford Computer Systems Laboratory. CSL-TR-90-422. March 1990. Available online: ps pdf.
  • Wing-Yee Au, Daniel Weise and Scott Seligman. "Generating Compiled Simulations Using Partial Evaluation". 28th Design Automation Conference. June 1991. Available online: ps pdf.
  • Erik Ruf. "Partial Evaluation in Reflective System Implementations". OOPSLA'93 Workshop on Reflection and Metalevel Architecture. October 1993. Available online: ps pdf.
  • Charles Consel and Olivier Danvy. "Partial Evaluation of Pattern Matching in Strings". Information Processing Letters. Vol. 30. No. 2. January 1989. Available online: ps.
  • Olivier Danvy. "Semantics-Directed Compilation of Non-Linear Patterns". Information Processing Letters. Vol. 37. March 1991. Available online: ps.
  • Olivier Danvy, Juergen Koslowski and Karoline Malmkjær. "Compiling Monads". Kansas State University. CIS-92-3. December 1991. Available online: ps pdf.
  • Olivier Danvy and Mayer Goldberg. "Partial Evaluation of the Euclidian Algorithm". Higher-Order and Symbolic Computing. Vol. 10. No. 2. July 1997. Available online: ps pdf.
  • Carsten K. Gomard and Neil D. Jones. "A Partial Evaluator for the Untyped Lambda Calculus". DIKU. D-15. January 1991. Available online: ps.
  • Carsten K. Gomard and Neil D. Jones. "Partial evaluation of lambda calculus". 1998 DIKU International Summerschool. LNCS 1706. 1999. Available online: ps pdf.
  • Jesper Jørgensen. "Generating a compiler for a lazy language by partial evaluation". Principles of Programming Languages (POPL'92). January 1992. Available online: ps ACM Digital Library.
  • Bernd Grobauer and Julia L. Lawall. "Partial Evaluation of Pattern Matching in Strings, revisited". BRICS report RS-00-31. September 2001. Available online: ps pdf.
  • Julia L. Lawall. "Proofs by structural induction using partial evaluation". Proceedings of the ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (PEPM'93). 1993. Available online: ACM Digital Library.
  • Hidehiko Masuhara. "Architecture Design and Compilation Techniques Using Partial Evaluation in Reflective Concurrent Object-Oriented Languages". PhD. Thesis. University of Tokyo. January 1999. Available online: ps pdf.
  • Hidehiko Masuhara and Akinori Yonezawa. "Design and Partial Evaluation of Meta-objects for a Concurrent Reflective Language". European Conference on Object-Oriented Programming (ECOOP'98). July 1998. Available online: ps pdf.
  • Christian Mossin. "Partial evaluation of general parsers". Proceedings of the ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (PEPM'93). 1993. Available online: ACM Digital Library.
  • Christian Queinnec and Jean-Marie Geffroy. "Partial evaluation applied to symbolic pattern matching with intelligent backtrack". WSA '92--Workshop on Static Analysis. September 1992. Available online: ps pdf.
  • Michael Sperber and Peter Thiemann. "The Essence of LR Parsing". Partial Evaluation and Semantics-Based Program Manipulation PEPM '95. June 1995. Available online: ps.
  • Peter Thiemann. "Compiling Adaptive Programs by Partial Evaluation". CC 2000. volume 1781 of Lecture Notes in Computer Science. March 2000. Available online: ps.
  • Karoline Malmkjær and Olivier Danvy. "Preprocessing by Specialization". 1990.
  • Jesper Jørgensen. "Generating a Pattern Matching Compiler by Partial Evaluation". Glasgow Workshop on Functional Programming. July 1990. Available online: ps pdf.
  • Jesper Jørgensen. "Compiler Generation by Partial Evaluation". Masters Thesis. DIKU, University of Copenhagen. 1991. Available online: ps pdf.
  • Christian Mossin. "Partial evaluation of General Parsers". Partial Evaluation and Semantics Based Program Manipulation (PEPM'93). June 1993. Available online: ps pdf.
  • Olivier Danvy. "Across the Bridge between Reflection and Partial Evaluation". Partial Evaluation and Mixed Computation. 1988.
  • Charles Consel and Siau Cheng Khoo. "Semantics-directed generation of a Prolog compiler". Science of Computer Programming. volume 21. 1993. Available online: ps pdf.
  • Anders Bondorf. "A Self-Applicable Partial Evaluator for Term Rewriting Systems". Theory and Practice of Software Development (TAPSOFT '89). March 1989. Available online: ps pdf.

Theory and Techniques

  • Olivier Danvy. "Intensional and Extensional Aspects of Partial Evaluation". Aarhus University. March 1995. Available online: ps pdf.
  • Anders Bondorf and Jesper Jørgensen. "Efficient analyses for realistic off-line partial evaluation: extended version". University of Copenhagen. Technical Report 93/4. 1993. Available online: parts 1 and 3 (ps) part 2 (ps) parts 1 and 3 (pdf) part 2 (pdf).
  • Anders Bondorf and Jesper Jørgensen. "Efficient analyses for realistic off-line partial evaluation". Journal of Functional Programming. 3(3). July 1993.
  • Robert Glück and Jesper Jørgensen. "Fast Binding-Time Analysis for Multi-Level Specialization". Perspectives of System Informatics. 1996. Available online: ps pdf.
  • Robert Glück and Jesper Jørgensen. "Efficient Multi-Level Generating Extensions for Program Specialization". Programming Languages: Implementations, Logics and Programs (PLILP'95). 1995. Available online: ps pdf.
  • Robert Glück and Jesper Jørgensen. "Multi-Level Specialization (Extended Abstract)". Partial Evaluation: Practice and Theory 1998. 1998. Available online: ps pdf.
  • Olivier Danvy. "Online Type-Directed Partial Evaluation". Third Fuji International Symposium on Functional and Logic Programming, FLOPS '98. April 1998. Available online: ps pdf.
  • René Vestergaard. "From Proof Normalization to Compiler Generation and Type-Directed Change-of-Representation". Masters Thesis. Aarhus University. 1997. Available online: ps pdf.
  • Olivier Danvy. "Programming Techniques for Partial Evaluation". Marktoberdorf 1999. January 2000. Available online: ps pdf.
  • Karoline Malmkjær. "On Static Properties of Specialized Programs". BIGRE journal. number 74. October 1991. Available online: ps pdf.
  • Karoline Malmkjær. "Predicting Properties of Specialized Programs". Kansas State University. PhD proposal. November 1991. Available online: ps pdf.
  • Karoline Malmkjær. "Predicting Properties of Residual Programs". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'92). June 1992.
  • Robert Glück and A. V. Klimov. "Occam's Razor in Metacomputation: the Notion of a Perfect Process Tree". Static Analysis 1993. 1993. Available online: ps pdf.
  • Christian Mossin. "Polymorphic Binding Time Analysis". Masters Thesis. DIKU, University of Copenhagen. July 1993. Available online: ps pdf.
  • Robert Glück and Jesper Jørgensen. "Generating Optimizing Specializers". IEEE International Conference on Computer Languages. 1994. Available online: ps pdf.
  • Robert Glück and Jesper Jørgensen. "Generating Transformers for Deforestation and Supercompilation". Static Analysis 1994. 1994. Available online: ps pdf.
  • Robert Glück, John Hatcliff and Jesper Jørgensen. "Generalization in Hierarchies of Online Program Specialization Systems". Logic-Based Program Synthesis and Transformation 1999. 1999. Available online: ps pdf.
  • Arne J. Glenstrup. "Terminator II: Stopping Partial Evaluation of Fully Recursive Programs". Masters Thesis. DIKU, University of Copenhagen. June 1999. Available online: ps pdf.
  • Robert Glück, Y. Kawada and T. Hashimoto. "Transforming Interpreters into Inverse Interpreters by Partial Evaluation". Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2003). 2003. Available online: ps pdf.
  • Neil D. Jones and Arne J. Glenstrup. "Partial Evaluation Termination Analysis and Specialization-Point Insertion". Transactions on Programming Languages and Systems. 2004. Available online: ps pdf.
  • Arne J. Glenstrup. "Implementation Notes for the Termination-Guaranteeing Binding-Time Analysis". December 2002. Available online: pdf.
  • Kenichi Asai. "Offline Partial Evaluation for Shift and Reset". Partial Evaluation and Semantics-Based Program Manipulation (PEPM '04). August 2004. Available online: ps.
  • Kenichi Asai. "Binding-Time Analysis for Both Static and Dynamic Expressions". New Generation Computing. Vol. 20. No. 1. November 2001. Available online: ps.
  • Kenichi Asai. "Integrating Partial Evaluators into Interpreters,". Semantics, Applications, and Implementation of Program Generation. LNCS 2196. September 2001. Available online: ps.
  • Kenichi Asai. "Binding-Time Analysis for Both Static and Dynamic Expressions". Static Analysis. LNCS 1694. September 1999. Available online: ps.
  • Kenichi Asai, Hidehiko Masuhara and Akinori Yonezawa. "Partial Evaluation of Call-by-value Lambda-calculus with Side-effects". ACM SIGPLAN Conference on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97). June 1997. Available online: ps.
  • Kenichi Asai, Hidehiko Masuhara and Akinori Yonezawa. "Partial Evaluation of Call-by-value lambda-calculus with Side-effects". University of Tokyo. 96-04. November 1996. Available online: ps.
  • J. Michael Ashley and Charles Consel. "Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs". ACM Transactions on Programming Languages and Systems. 16(5). September 1994. Available online: pdf.
  • Anders Bondorf. "Self-Applicable Partial Evaluation". PhD. Thesis. DIKU. 1990.
  • Anders Bondorf. "Automatic Autoprojection of Higher Order Recursive Equations". European Symposium on Programming (ESOP 1990). LNCS 432. May 1990. Available online: ps pdf.
  • Anders Bondorf. "Automatic Autoprojection of higher order recursive equations". Science of Computer Programming. volume 17. 1991. Available online: ps pdf.
  • Anders Bondorf and Olivier Danvy. "Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types". Science of Computer Programming. Vol. 16. 1991. Available online: ps.
  • Anders Bondorf. "Improving binding times without explicit CPS-conversion". Proceedings of the conference on Lisp and functional programming. June 1992. Available online: ACM Digital Library.
  • Anders Bondorf and Dirk Dussart. "Improving CPS-Based Partial Evaluation, Writing Cogen by Hand". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94). June 1994. Available online: ps.
  • Charles Consel. "Analyse de Programmes, Evaluation Partielle et Génération de Compilateurs". PhD. Thesis. Université de Paris VI. 1989.
  • Charles Consel. "Polyvariant binding-time analysis for higher-order, applicative languages". ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '93). June 1993. Available online: ps.
  • Charles Consel and Siau Cheng Khoo. "On-line and Off-line Partial Evaluation: Semantic Specifications and Correctness Proofs". Yale University. 1993. Available online: ps.
  • Charles Consel and Olivier Danvy. "From Interpreting to Compiling Binding Times". European Symposium on Programming (ESOP 1990). LNCS 432. May 1990. Available online: ps pdf.
  • Charles Consel and Olivier Danvy. "Static and Dynamic Semantics Processing". Principles of Programming Languages (POPL'91). January 1991. Available online: ps.
  • Charles Consel and Olivier Danvy. "For a Better Support of Static Data Flow". Functional Programming and Computer Architecture (FPCS'91). 1991. Available online: ps.
  • Olivier Danvy and René Vestergaard. "Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation". University of Aarhus. BRICS 96-13. May 1996. Available online: ps pdf.
  • Olivier Danvy. "Type-Directed Partial Evaluation". Principles of Programming Languages (POPL'96). 1996. Available online: ps pdf.
  • Torben Æ. Mogensen. "Gödelization in the untyped lambda calculus". Partial Evaluation and Semantics-Based Program Manipulation (PEPM99). January 1999. Available online: ps pdf.
  • Olivier Danvy and René Vestergaard. "Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation". PLILP'96. 1996. Available online: ps pdf.
  • Olivier Danvy, Karoline Malmkjær and Jens Palsberg. "The Essence of Eta-Expansion in Partial Evaluation". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94). June 1994. Available online: ps.
  • Olivier Danvy, Karoline Malmkjær and Jens Palsberg. "Eta-Expansion Does the Trick". Transactions on Programming Languages and Systems. Vol. 18. No. 4. November 1996. Available online: ps.
  • Olivier Danvy, Karoline Malmkjær and Jens Palsberg. "Eta-Expansion Does the Trick". University of Aarhus. BRICS RS-95-41. November 1995. Available online: ps.
  • Olivier Danvy. "Pragmatics of Type-Directed Partial Evaluation". Partial Evaluation: Dagstuhl Seminar. LNCS 1110. February 1996. Available online: ps pdf.
  • Robert Glück and Jesper Jørgensen. "Multi-Level Specialization (Extended Abstract)". Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School. LNCS 1706. June 1998. Available online: ps pdf.
  • Robert Glück and Jesper Jørgensen. "Fast Binding-Time Analysis for Multi-Level Specialization". Perspectives of System Informatics. LNCS 1181. 1996. Available online: ps.
  • Robert Glück and Jesper Jørgensen. "An Automatic Program Generator for Multi-Level Specialization". Higher-Order and Symbolic Computing. Vol. 10. No. 2. July 1997. Available online: ps pdf.
  • Bernd Grobauer. "Topics in Semantics-based Program Manipulation". PhD. Thesis. University of Aarhus. July 2001. Available online: ps pdf.
  • John Hatcliff and Robert Glück. "Reasoning about Hierarchies of Online Program Specialization Systems". Partial Evaluation: Dagstuhl Seminar. LNCS 1110. February 1996. Available online: ps.
  • Simon Helsen and Peter Thiemann. "Two Flavors of Offline Partial Evaluation". Asian Computing Science Conference, ASIAN'98. December 1998. Available online: ps.
  • Simon Helsen and Peter Thiemann. "Fragmental Specialization". Semantics, Applications and Implementation of Program Generation (SAIG'00). volume 1927 of Lecture Notes in Computer Science. September 2000. Available online: ps.
  • Neil D. Jones. "Partial Evaluation and the Generation of Program Generators". DIKU. D-130. January 1992. Available online: ps.
  • Morry Katz and Daniel Weise. "Towards a New Perspective on Partial Evaluation". 1992 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Directed Program Manipulation, pp. 67-74, San Francisco, June, 1992. June 1992. Available online: ps pdf.
  • Morry Katz. "Towards a New Perspective on Partial Evaluation: Results, New Ideas, and Future Directions". Stanford Computer Systems Laboratory. June 1993. Available online: ps pdf.
  • Julia L. Lawall and Olivier Danvy. "Continuation-Based Partial Evaluation". 1994 ACM Conference on Lisp and Functional Programming. 1994. Available online: ps.
  • Julia L. Lawall and Olivier Danvy. "Continuation-Based Partial Evaluation". Computer Science Department, Brandeis University. Technical Report CS-95-178. February 1995. Available online: ps.
  • Karoline Malmkjær. "Towards Efficient Partial Evaluation". Partial evaluation and semantics-based program manipulation (PEPM'93). August 1993. Available online: ps pdf.
  • Karoline Malmkjær and Peter Ørbæk. "Polyvariant specialization for higher-order, block-structured languages". Partial evaluation and semantics-based program manipulation (PEPM'95). June 1995. Available online: ps ACM Digital Library.
  • Karoline Malmkjær. "Program and Data Specialization Principles, Applications, and Self-Application". Masters Thesis. DIKU. August 1989. Available online: ps pdf.
  • Karoline Malmkjær. "Abstract Interpretation of Partial-Evaluation Algorithms". PhD. Thesis. Kansas State University. 1993. Available online: ps pdf.
  • Erik Ruf and Daniel Weise. "On the Specialization of Online Program Specializers". Stanford Computer Systems Laboratory. CSL-TR-92-534. July 1992. Available online: ps pdf.
  • Erik Ruf. "Topics in Online Partial Evaluation". PhD. Thesis. March 1993. Available online: ps pdf.
  • Erik Ruf and Daniel Weise. "Opportunities for Online Partial Evaluation". Stanford Computer Systems Laboratory. CSL-TR-92-516. April 1992. Available online: ps pdf.
  • Erik Ruf and Daniel Weise. "Avoiding Redundant Specialization During Partial Evaluation". Stanford Computer Systems Laboratory. CSL-TR-92-518. April 1992. Available online: ps pdf.
  • Erik Ruf and Daniel Weise. "Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis". 1992 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Directed Program Manipulation, pp. 67-74, San Francisco, June, 1992. June 1992. Available online: ps pdf.
  • Michael Sperber, Robert Glück and Peter Thiemann. "Bootstrapping Higher-Order Program Transformers from Interpreters". Proceedings 11th Annual ACM Symposium on Applied Computing, SAC (SAC '96). February 1996. Available online: ps.
  • Michael Sperber and Peter Thiemann. "Realistic Compilation by Partial Evaluation". Proc. of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation. May 1996. Available online: ps.
  • Michael Sperber. "Self-Applicable Online Partial Evaluation". Partial Evaluation: Dagstuhl Seminar. LNCS 1110. February 1996. Available online: ps pdf.
  • Michael Sperber and Peter Thiemann. "Two for the Price of One: Composing Partial Evaluation and Compilation". Proc. of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation. June 1997. Available online: ps.
  • Michael Sperber, Peter Thiemann and Herbert Klaeren. "Distributed Partial Evaluation". Proc. of the Second International Symposium on Parallel Symbolic Computation, PASCO'97. July 1997. Available online: ps.
  • Eijiro Sumii and Naoki Kobayashi. "Online-and-Offline Partial Evaluation: A Mixed Approach". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'00). January 2000. Available online: ps.
  • Eijiro Sumii and Naoki Kobayashi. "A Hybrid Approach to Online and Offline Partial Evaluation". Higher-Order and Symbolic Computation. Vol. 14. No. 2/3. September 2001. Available online: ps pdf.
  • Eijiro Sumii. "A Hybrid Approach To Online And Offline Partial Evaluation". Masters Thesis. University of Tokyo. February 2000. Available online: ps pdf.
  • Eijiro Sumii and Naoki Kobayashi. "Online Type-Directed Partial Evaluation for Dynamically-Typed Languages". Computer Software. Vol. 17. No. 3. May 2000. Available online: ps pdf.
  • Rajeev J. Surati. "Practical Partial Evaluation". Masters Thesis. Massachussets Institute of Technology. May 1995. Available online: ps pdf.
  • Peter Thiemann and Dirk Dussart. "Partial Evaluation for Higher-Order Languages with State". July 1999. Available online: ps.
  • Peter Thiemann and Robert Glück. "The Generation of a Higher-Order Online Partial Evaluator". Fuji Workshop on Functional and Logic Programming. July 1995. Available online: ps.
  • Peter Thiemann. "Cogen in Six Lines". Proc. ACM SIGPLAN International Conference on Functional Programming 1996. May 1996. Available online: ps.
  • Peter Thiemann and Michael Sperber. "Polyvariant Expansion and Compilergenerators". PSI-96: Andrei Ershov Second International Memorial Conference, Perspectives of System Informatics. June 1996. Available online: ps.
  • Peter Thiemann. "Implementing Memoization for Partial Evaluation". Programming Languages, Implementations, Logics, and Programs (PLILP '96). volume 1140 of Lecture Notes in Computer Science. September 1996. Available online: ps.
  • Peter Thiemann. "Higher-Order Code Splicing". European Symposium on Programming, ESOP '99. volume 1576 of Lecture Notes in Computer Science. March 1999. Available online: ps.
  • Oscar Waddell and R. Kent Dybvig. "Visualizing partial evaluation". ACM Computing Surveys Symposium on Partial Evaluation. 30(3es):24-es. September 1998. Available online: ACM Digital Library.
  • Morten Rhiger. "A Study in Higher-Order Programming Languages". Masters Thesis. Aarhus University. December 1997. Available online: ps pdf.
  • Daniel Weise. "Graphs as an Intermediate Representation for Partial Evaluation". Stanford University. CSL-TR-90-421. March 1990. Available online: ps pdf.
  • Daniel Weise and Erik Ruf. "Computing Types During Program Specialization". Stanford University. CSL-TR-90-441. October 1990. Available online: ps pdf.
  • Erik Ruf and Daniel Weise. "Using Types to Avoid Redundant Specialization". Partial Evaluation and Semantics-Directed Program Manipulation, PEPM'91. June 1991. Available online: ps pdf.
  • Erik Ruf and Daniel Weise. "Preserving Information During Online Partial Evaluation". Stanford University. CSL-TR-92-517. April 1992. Available online: ps pdf.
  • Daniel Weise and Erik Ruf. "Computing Types During Program Specialization". Stanford Computer Systems Laboratory. December 1990. Available online: ps pdf.
  • Daniel Weise, Roland Conybeare, Erik Ruf and Scott Seligman. "Automatic Online Partial Evaluation". Proceedings of the Conference on Functional Programming Languages and Computer Architecture, 1991. June 1991. Available online: ps pdf.
  • Ulrik Pagh Schultz. "Explicit and Implicit Aspects of Scope and Block Structure". Masters Thesis. University of Aarhus. June 1997. Available online: ps pdf.
  • Olivier Danvy and Ulrik Pagh Schultz. "Lambda-dropping: transforming recursive equations into programs with block structure". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'97). June 1997. Available online: ACM Digital Library.
  • Olivier Danvy and Ulrik Pagh Schultz. "Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure ". University of Aarhus. RS-97-6. March 1997. Available online: ps pdf.
  • Olivier Danvy and Ulrik Pagh Schultz. "Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure". Theoretical Computer Science. Volume 248/1-2. November 2000. Available online: ps pdf.
  • Olivier Danvy and Ulrik Pagh Schultz. "Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure ". University of Aarhus. RS-99-27. September 1999. Available online: ps pdf.
  • Saumya Debray. "Resource-bounded partial evaluation". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'97). June 1997. Available online: ACM Digital Library.
  • Saumya Debray. "Resource-bounded partial evaluation". University of Arizona. January 1998. Available online: ps.
  • Olivier Danvy. "Across the Bridge between Reflection and Partial Evaluation". Partial Evaluation and Mixed Computation. 1988.

Hosted by concurrency.cc.Last modified: Saturday, August 11th, 2012 4:55:48pm
HTML generated using WebIt!.