Readscheme.org
Partial Evaluation Bibliography Home
Surveys
Techniques
Lambda Calculus
Scheme
C
Java
Logic Program Specialization
Applications
Recent Additions
Browse by Author
Search...
Implementations
Past Events
Journal Special Issues
Implementations

Theory and Techniques

Theory and Formalization of Partial Evaluation

  • John Hatcliff and Olivier Danvy. "A Computational Formalization for Partial Evaluation". Mathematical Structures in Computer Science. 7(5). October 1997. Available online: ps pdf. Citation.
  • 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. Citation.
  • John Hatcliff. "Mechanically Verifying the Correctness of an Offline Partial Evaluator". Programming Languages: Implementations, Logics and Programs (PLILP'95). 1995. Available online: ps pdf. Citation.
  • John Hatcliff. "Mechanically verifying the correctness of an offline partial evaluator (extended version)". University of Copenhagen. DIKU Rapport 95/14. 1996. Available online: ps pdf. Citation.
  • Renaud Marlet. "Vers une formalisation de l'évaluation partielle". PhD. Thesis. Université de Nice - Sophia Antipolis. December 1994. Available online: ps pdf. Citation.
  • Charles Consel and Siau Cheng Khoo. "On-line and Off-line Partial Evaluation: Semantic Specifications and Correctness Proofs". Yale University. 1993. Available online: ps. Citation.
  • Julia L. Lawall and Peter Thiemann. "Sound Specialization in the Presence of Computational Effects". Theoretical Aspects of Computer Software (TACS '97). September 1997. Available online: ps. Citation.
  • Morten Welinder. "Partial Evaluation and Correctness". PhD. Thesis. University of Copenhagen. September 1996. Available online: ps pdf. Citation.
  • Olivier Danvy. "Intensional and Extensional Aspects of Partial Evaluation". Aarhus University. March 1995. Available online: ps pdf. Citation.
  • Peter Thiemann. "Interpreting Specialization in Type Theory". Partial Evaluation and Semantics-Based Program Manipulation, PEPM '99. January 1999. Available online: ps. Citation.
  • Sebastian C. Skalberg. "Mechanical Proof of the Optimality of a Partial Evaluator". Masters Thesis. University of Copenhagen. February 1999. Available online: ps pdf. Citation.
  • Zhe Yang. "Reasoning about code generation in two-level languages". July 2001. Available online: ps pdf. Citation.
  • Zhe Yang. "Reasoning About Code-Generation in Two-Level Languages". Aarhus University. December 2000. Available online: ps pdf. Citation.

Basic Techniques of Partial Evaluation

  • Julia L. Lawall and Gilles Muller. "Faster Run-time Specialized Code using Data Specialization". INRIA Research Report RR-3833. December 1999. Available online: ps pdf. Citation.
  • Sandrine Chirokoff. "Une approche uniforme à la spécialisation de programmes et à la spécialisation de données". PhD. Thesis. Université de Rennes 1. April 2000. Citation.
  • Charles Consel. "Analyse de Programmes, Evaluation Partielle et Génération de Compilateurs". PhD. Thesis. Université de Paris VI. 1989. Citation.
  • 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. Citation.
  • 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. Citation.
  • 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. Citation.
  • Jens Palsberg. "Eta-Redexes in Partial Evaluation". Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School. June 1998. Available online: ps pdf. Citation.
  • Karoline Malmkjær. "Towards Efficient Partial Evaluation". Partial evaluation and semantics-based program manipulation (PEPM'93). August 1993. Available online: ps pdf. Citation.
  • 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. Citation.
  • Karoline Malmkjær. "Program and Data Specialization Principles, Applications, and Self-Application". Masters Thesis. DIKU. August 1989. Available online: ps pdf. Citation.
  • Peter Thiemann and Dirk Dussart. "Partial Evaluation for Higher-Order Languages with State". July 1999. Available online: ps. Citation.
  • 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. Citation.
  • 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. Citation.
  • 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. Citation.
  • Daniel Weise. "Graphs as an Intermediate Representation for Partial Evaluation". Stanford University. CSL-TR-90-421. March 1990. Available online: ps pdf. Citation.
  • Daniel Weise and Erik Ruf. "Computing Types During Program Specialization". Stanford University. CSL-TR-90-441. October 1990. Available online: ps pdf. Citation.
  • 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. Citation.
  • Erik Ruf and Daniel Weise. "Preserving Information During Online Partial Evaluation". Stanford University. CSL-TR-92-517. April 1992. Available online: ps pdf. Citation.
  • Peter Thiemann. "A Generic Framework for Specialization". European Symposium on Programming, ESOP '98. April 1998. Available online: ps. Citation.
  • Lars Ole Andersen and Carsten K. Gomard. "Speedup Analysis in Partial Evaluation: Preliminary results". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'92). June 1992. Citation.
  • Niels H. Christensen and Robert Glück. "Offline Partial Evaluation can be as Accurate as Online Partial Evaluation". ACM Transactions on Programming Languages and Systems (TOPLAS). 26(1). 2004. Available online: ACM Digital Library. Citation.

Online Partial Evaluation

  • 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. Citation.
  • 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. Citation.
  • Erik Ruf. "Topics in Online Partial Evaluation". PhD. Thesis. March 1993. Available online: ps pdf. Citation.
  • Erik Ruf and Daniel Weise. "Opportunities for Online Partial Evaluation". Stanford Computer Systems Laboratory. CSL-TR-92-516. April 1992. Available online: ps pdf. Citation.
  • Erik Ruf and Daniel Weise. "Preserving Information During Online Partial Evaluation". Stanford University. CSL-TR-92-517. April 1992. Available online: ps pdf. Citation.
  • Rajeev J. Surati. "Practical Partial Evaluation". Masters Thesis. Massachussets Institute of Technology. May 1995. Available online: ps pdf. Citation.
  • Peter Ørbæk. "POPE: An On-line Partial Evaluator". University of Aarhus. June 1994. Available online: ps. Citation.
  • 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. Citation.
  • 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. Citation.
  • Eijiro Sumii. "A Hybrid Approach To Online And Offline Partial Evaluation". Masters Thesis. University of Tokyo. February 2000. Available online: ps pdf. Citation.
  • Michael Sperber. "Self-Applicable Online Partial Evaluation". Partial Evaluation: Dagstuhl Seminar. LNCS 1110. February 1996. Available online: ps pdf. Citation.
  • 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. Citation.
  • 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. Citation.
  • Torben Æ. Mogensen. "Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus". Partial Evaluation and Semantics-Based Program Manipulation, PEPM '95. 1995. Available online: ACM Digital Library. Citation.

Continuation-based Partial Evaluation

  • Julia L. Lawall and Olivier Danvy. "Continuation-Based Partial Evaluation". 1994 ACM Conference on Lisp and Functional Programming. 1994. Available online: ps. Citation.
  • 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. Citation.
  • 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. Citation.
  • 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. Citation.
  • Peter Thiemann. "Continuation-Based Partial Evaluation Without Continuations". Static Analysis Symposium (SAS 2003). 2003. Available online: ps. Citation.
  • Ulrik Pagh Schultz. "Explicit and Implicit Aspects of Scope and Block Structure". Masters Thesis. University of Aarhus. June 1997. Available online: ps pdf. Citation.
  • 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. Citation.
  • 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. Citation.
  • 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. Citation.
  • 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. Citation.
  • Daniel Damian and Olivier Danvy. "Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation". International Conference on Functional Programming (ICFP'2000). June 2000. Available online: ps pdf. Citation.
  • Daniel Damian and Olivier Danvy. "Syntactic Accidents in Program Analysis: On the Impact of the CPS Transformation". Journal of Functional Programming. December 2001. Available online: ps pdf. Citation.
  • Daniel Damian. "On Static and Dynamic Control-Flow Information in Program Analysis and Transformation". PhD. Thesis. Aarhus University. August 2001. Available online: ps pdf. Citation.

Binding Time Analysis and Other Static Analyses

  • Anders Bondorf, Neil D. Jones, Torben Æ. Mogensen and Peter Sestoft. "Binding Time Analysis and the Taming of Self-Application". University of Copenhagen. August 1988. Citation.
  • 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. Citation.
  • Charles Consel and Olivier Danvy. "For a Better Support of Static Data Flow". Functional Programming and Computer Architecture (FPCS'91). 1991. Available online: ps. Citation.
  • 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. Citation.
  • Kenichi Asai. "Binding-Time Analysis for Both Static and Dynamic Expressions". New Generation Computing. Vol. 20. No. 1. November 2001. Available online: ps. Citation.
  • Kenichi Asai. "Binding-Time Analysis for Both Static and Dynamic Expressions". Static Analysis. LNCS 1694. September 1999. Available online: ps. Citation.
  • Christian Mossin. "Polymorphic Binding Time Analysis". Masters Thesis. DIKU, University of Copenhagen. July 1993. Available online: ps pdf. Citation.
  • 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. Citation.
  • Luke Hornof. "Static Analyses for the Effective Specialization of Realistic Programs". PhD. Thesis. Université de Rennes 1. June 1997. Available online: ps pdf. Citation.
  • Karoline Malmkjær. "On Static Properties of Specialized Programs". BIGRE journal. number 74. October 1991. Available online: ps pdf. Citation.
  • Karoline Malmkjær. "Predicting Properties of Specialized Programs". Kansas State University. PhD proposal. November 1991. Available online: ps pdf. Citation.
  • Karoline Malmkjær. "Predicting Properties of Residual Programs". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'92). June 1992. Citation.
  • Karoline Malmkjær. "Abstract Interpretation of Partial-Evaluation Algorithms". PhD. Thesis. Kansas State University. 1993. Available online: ps pdf. Citation.
  • 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. Citation.
  • Rogardt Heldal and John Hughes. "Binding-Time Analysis for Polymorphic Types". Perspectives of System Informatics, 2001. July 2001. Available online: ps pdf. Citation.
  • Carsten K. Holst and John Hughes. "Towards Binding-time Improvement for Free!". Functional Programming. 1990. Citation.
  • Peter Thiemann. "A Unified Framework for Binding-Time Analysis". Formal Approaches in Software Engineering (FASE '97). April 1997. Available online: ps. Citation.
  • Peter Thiemann. "Correctness of a Region-Based Binding-Time Analysis". Mathematical Foundations of Programming Semantics (MFPS XIII). March 1997. Available online: ps. Citation.
  • Lars Ole Andersen and Christian Mossin. "Binding Time Analysis via Type Inference". University of Copenhagen. Student Project 90-10-12. October 1990. Citation.
  • 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). Citation.
  • Anders Bondorf and Jesper Jørgensen. "Efficient analyses for realistic off-line partial evaluation". Journal of Functional Programming. 3(3). July 1993. Citation.
  • Robert Glück and Jesper Jørgensen. "Fast Binding-Time Analysis for Multi-Level Specialization". Perspectives of System Informatics. 1996. Available online: ps pdf. Citation.
  • Torben Æ. Mogensen. "Binding Time Analysis for Polymorphically Typed Higher Order Languages". Theory and Practice of Software Development (TAPSOFT '89). March 1989. Citation.
  • Torben Æ. Mogensen. "Binding Time Aspects of Partial Evaluation". PhD. Thesis. University of Copenhagen. March 1989. Citation.
  • Torben Æ. Mogensen. "Partially Static Structures in a Self-Applicable Partial Evaluator". Partial Evaluation and Mixed Computation. 1988. Citation.
  • Torben Æ. Mogensen. "Separating Binding Times in Language Specifications". Functional Programming Languages and Computer Architecture. September 1989. Available online: ACM Digital Library. Citation.
  • Fritz Henglein and Christian Mossin. "Polymorphic Binding-Time Analysis". European Symposium on Programming (ESOP'94). April 1994. Available online: ps pdf. Citation.
  • Dirk Dussart, Fritz Henglein and Christian Mossin. "Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time". 2nd Int'l Static Analysis Symposium (SAS). September 1995. Available online: ps pdf. Citation.
  • Fritz Henglein. "Efficient Type Inference for Higher-Order Binding-Time Analysis". Functional Programming Languages and Computer Architecture (FPCA'91). August 1991. Available online: ps pdf. Citation.
  • Fritz Henglein and David Sands. "A Semantic Model of Binding Times for Safe Partial Evaluation". Programming Languages: Implementations, Logics and Programs (PLILP'95). September 1995. Available online: ps pdf. Citation.
  • Niels H. Christensen, Robert Glück and Søren Laursen. "Binding-time Analysis in Partial Evaluation: One Size Does Not Fit All". Perspectives of System Informatics. 2000. Available online: ps pdf. Citation.
  • Robert Glück, R. Nakashige and R. Zöchling. "Binding-Time Analysis Applied to Mathematical Algorithms". System Modelling and Optimization. 1995. Available online: ps pdf. Citation.

Self-Applicable Partial Evaluation

  • Neil D. Jones, Carsten K. Gomard, Anders Bondorf, Olivier Danvy and Torben Æ. Mogensen. "A Self-Applicable Partial Evaluator for the Lambda Calculus". 1990 International Conference on Computer Languages. March 1990. Citation.
  • Anders Bondorf. "Self-Applicable Partial Evaluation". PhD. Thesis. DIKU. 1990. Citation.
  • Anders Bondorf. "Automatic Autoprojection of Higher Order Recursive Equations". European Symposium on Programming (ESOP 1990). LNCS 432. May 1990. Available online: ps pdf. Citation.
  • Anders Bondorf. "Automatic Autoprojection of higher order recursive equations". Science of Computer Programming. volume 17. 1991. Available online: ps pdf. Citation.
  • 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. Citation.
  • Robert Glück and Jesper Jørgensen. "Generating Optimizing Specializers". IEEE International Conference on Computer Languages. 1994. Available online: ps pdf. Citation.
  • Peter Sestoft. "The structure of a self-applicable partial evaluator". Programs as Data Objects. 1985. Citation.
  • Torben Æ. Mogensen. "Self-Applicable Online Partial Evaluation of the Pure Lambda Calculus". Partial Evaluation and Semantics-Based Program Manipulation, PEPM '95. 1995. Available online: ACM Digital Library. Citation.
  • Torben Æ. Mogensen. "Self-applicable Partial Evaluation for Pure Lambda Calculus". Partial Evaluation and Semantics-based Program Manipulation. 1992. Available online: ps pdf. Citation.
  • Michael Sperber. "Self-Applicable Online Partial Evaluation". Partial Evaluation: Dagstuhl Seminar. LNCS 1110. February 1996. Available online: ps pdf. Citation.

Cogen and Generating Extensions

  • Neil D. Jones. "Partial Evaluation and the Generation of Program Generators". DIKU. D-130. January 1992. Available online: ps. Citation.
  • 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. Citation.
  • Olivier Danvy. "Programming Techniques for Partial Evaluation". Marktoberdorf 1999. January 2000. Available online: ps pdf. Citation.
  • 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. Citation.
  • 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. Citation.
  • 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. Citation.
  • 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. Citation.
  • Robert Glück and Jesper Jørgensen. "Fast Binding-Time Analysis for Multi-Level Specialization". Perspectives of System Informatics. 1996. Available online: ps pdf. Citation.
  • Robert Glück and Jesper Jørgensen. "Multi-Level Specialization (Extended Abstract)". Partial Evaluation: Practice and Theory 1998. 1998. Available online: ps pdf. Citation.
  • Lars Birkedal and Morten Welinder. "Hand-Writing Program Generator Generators". PLILP 94. September 1994. Available online: ps pdf. Citation.
  • Peter Thiemann. "Cogen in Six Lines". Proc. ACM SIGPLAN International Conference on Functional Programming 1996. May 1996. Available online: ps. Citation.
  • 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. Citation.
  • Morten Rhiger. "Higher-Order Program Generation". PhD. Thesis. Aarhus University. August 2001. Available online: ps pdf. Citation.
  • Peter Thiemann and Michael Sperber. "Program Generation With Class". GI-Arbeitstagung Programmiersprachen. September 1997. Available online: ps. Citation.

Type-Directed Partial Evaluation

  • Olivier Danvy. "Type-Directed Partial Evaluation". Principles of Programming Languages (POPL'96). 1996. Available online: ps pdf. Citation.
  • 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. Citation.
  • Olivier Danvy and René Vestergaard. "Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation". PLILP'96. 1996. Available online: ps pdf. Citation.
  • Olivier Danvy. "Pragmatics of Type-Directed Partial Evaluation". Partial Evaluation: Dagstuhl Seminar. LNCS 1110. February 1996. Available online: ps pdf. Citation.
  • Olivier Danvy. "Online Type-Directed Partial Evaluation". Third Fuji International Symposium on Functional and Logic Programming, FLOPS '98. April 1998. Available online: ps pdf. Citation.
  • Olivier Danvy. "Type-Directed Partial Evaluation". Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School. June 1998. Available online: ps pdf. Citation.
  • 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. Citation.
  • Kristoffer H. Rose. "Type-directed Partial Evaluation in Haskell". April 1998. Available online: ps pdf. Citation.
  • Vincent Balat and Olivier Danvy. "Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation". Types in Compilation, 2nd International Workshop, TIC '98. 1998. Available online: ps pdf. Citation.
  • Bernd Grobauer and Zhe Yang. "The Second Futamura Projection for Type-Directed Partial Evaluation". Aarhus University. November 1999. Available online: ps pdf. Citation.
  • Andrzej Filinski. "A Semantic Account of Type-Directed Partial Evaluation". Principles and Practice of Declarative Programming, PPDP '99. June 1999. Available online: ps pdf. Citation.
  • Zhe Yang. "Reasoning about code generation in two-level languages". July 2001. Available online: ps pdf. Citation.
  • Zhe Yang. "Reasoning About Code-Generation in Two-Level Languages". Aarhus University. December 2000. Available online: ps pdf. Citation.
  • Bernd Grobauer and Zhe Yang. "The Second Futamura Projection for Type-Directed Partial Evaluation". Higher-Order and Symbolic Computation. 14(2-3). 2001. Available online: ps pdf. Citation.
  • Olivier Danvy, Morten Rhiger and Kristoffer H. Rose. "Normalization by Evaluation with Typed Abstract Syntax". Journal of Functional Programming. 11(6). November 2000. Available online: ps pdf. Citation.
  • Vincent Balat and Olivier Danvy. "Memoization in Type-Directed Partial Evaluation". Generative Programming and Component Engineering (GPCE '02). 2002. Available online: ps pdf. Citation.
  • Morten Rhiger. "Deriving a Statically Typed Type-Directed Partial Evaluator". Partial Evaluation and Program Manipulation (PEPM'99). 1999. Available online: ps pdf. Citation.
  • Morten Rhiger. "Run-time code generation for type-directed partial evaluation". BRICS PhD School, University of Aarhus. PhD Progress report. 1999. Available online: ps pdf. Citation.
  • Morten Rhiger. "A Study in Higher-Order Programming Languages". Masters Thesis. Aarhus University. December 1997. Available online: ps pdf. Citation.
  • Simon Helsen and Peter Thiemann. "Two Flavors of Offline Partial Evaluation". Asian Computing Science Conference, ASIAN'98. December 1998. Available online: ps. Citation.
  • Bernd Grobauer. "Types for Proofs and Programs". BRICS PhD School, University of Aarhus. PhD Progress report. 1999. Available online: ps pdf. Citation.
  • René Vestergaard. "From Proof Normalization to Compiler Generation and Type-Directed Change-of-Representation". Masters Thesis. Aarhus University. 1997. Available online: ps pdf. Citation.
  • Tim Sheard. "Integrating normalization-by-evaluation into a staged programming language". 1999. Available online: ps pdf. Citation.
  • Peter Dybjer and Andrzej Filinski. "Normalization and partial evaluation". Applied Semantics, Advanced Lectures. 2002. Available online: ps pdf. Citation.
  • Tim Sheard. "A Type-Directed, On-line Partial Evaluator for a Polymorphic Language". Partial Evaluation and Program Maninpulation, PEPM '97. 1997. Available online: ps pdf. Citation.
  • Walid Taha. "On Type-Directed Partial Evaluation". Oregon Graduate Institute. CSE-97-011. 1997. Available online: ps pdf. Citation.
  • Zhe Yang. "Language Support for Program Generation: Reasoning, Implementation, and Applications". PhD. Thesis. New York University. September 2001. Available online: ps pdf. Citation.
  • Vincent Balat. "Keeping sums under control". 2004. Available online: ps pdf. Citation.
  • Vincent Balat, Roberto Di Cosmo and Marcelo P. Fiore. "Extensional Normalisation and Type Directed Partial Evaluation for Typed Lambda Calculus with Sums". ACM SIGPLAN - SIGACT Symposium POPL 2004. 2004. Available online: ps pdf. Citation.
  • Vincent Balat. "Évaluation partielle dirigée par les types en Objective CAML". ENS de Lyon. August 1997. Available online: ps pdf. Citation.
  • Vincent Balat. "Une étude des sommes fortes: isomorphismes et formes normales". PhD. Thesis. University of Paris VII. December 2002. Available online: ps pdf. Citation.
  • Marcelo P. Fiore. "Semantic analysis of normalisation by evaluation for typed lambda calculus". Principles and Practice of Declarative Programming (PPDP 2002). October 2002. Available online: ps pdf. Citation.
  • Sam Lindley. "Normalisation by Evaluation in the Compilation of Typed Functional Programming Languages". PhD. Thesis. University of Edinburgh. September 2004. Available online: ps pdf. Citation.
  • Zhe Yang. "Encoding Types in ML-like Languages". International Conference on Functional Programming (ICFP'98). September 1998. Available online: ps pdf. Citation.
  • Klaus Aehlig and Felix Joachimski. "Operational Aspects of Untyped Normalization by Evaluation". Mathematical Structures in Computer Science. 14(4). August 2004. Available online: ps pdf. Citation.
  • Torben Æ. Mogensen. "Gödelization in the untyped lambda calculus". Partial Evaluation and Semantics-Based Program Manipulation (PEPM99). January 1999. Available online: ps pdf. Citation.

Termination Analysis of Partial Evaluation

  • Peter Holst Andersen. "Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language". Masters Thesis. University of Copenhagen. August 1996. Available online: ps pdf. Citation.
  • Peter Holst Andersen and Carsten K. Holst. "Termination Analysis for Offline Partial Evaluation of a Higher Order Functional Language". Third International Static Analysis Symposium (SAS). 1996. Available online: ps pdf. Citation.
  • Arne J. Glenstrup. "Terminator II: Stopping Partial Evaluation of Fully Recursive Programs". Masters Thesis. DIKU, University of Copenhagen. June 1999. Available online: ps pdf. Citation.
  • 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. Citation.
  • Arne J. Glenstrup. "Implementation Notes for the Termination-Guaranteeing Binding-Time Analysis". December 2002. Available online: pdf. Citation.
  • Arne J. Glenstrup and Neil D. Jones. "BTA Algorithms to Ensure Termination of Off-line Partial Evaluation". Perspectives of System Informatics: Proceedings of the Andrei Ershov Second International Memorial Conference. June 1996. Available online: ps pdf. Citation.
  • Neil D. Jones and Arne J. Glenstrup. "Program Generation, Termination, and Binding-time Analysis". Generative Programming and Component Engineering, GPCE'02. 2002. Available online: ps pdf. Citation.
  • Chin Soon Lee. "Finiteness analysis in polynomial time". Static Analysis Symposium, SAS 2002. September 2002. Available online: ps pdf. Citation.
  • Chin Soon Lee. "Program Termination Analysis and Termination of Offline Partial Evaluation". PhD. Thesis. University of Western Australia. August 2002. Available online: ps pdf. Citation.

Interpreter Specialization and Compilation

  • Charles Consel and Olivier Danvy. "Static and Dynamic Semantics Processing". Principles of Programming Languages (POPL'91). January 1991. Available online: ps. Citation.
  • Scott Thibault, L. Bercot, Charles Consel, Renaud Marlet, Gilles Muller and Julia L. Lawall. "Experiments in Program Compilation by Interpreter Specialization". IRISA Research Report 1212. December 1998. Available online: ps. Citation.
  • Scott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet and Gilles Muller. "Static and Dynamic Program Compilation by Interpreter Specialization". Higher-Order and Symbolic Computation. 13(3). September 2000. Citation.
  • 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. Citation.
  • 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. Citation.
  • 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. Citation.
  • Rogardt Heldal. "Generating More Practical Compilers by Partial Evaluation". Functional Programming. 1991. Citation.
  • Neil D. Jones, Peter Sestoft and Harald Søndergaard. "Mix: A self-applicable partial evaluator for experiments in compiler generation". Lisp and Symbolic Computation. 2(1). 1989. Available online: pdf. Citation.
  • Neil D. Jones, Peter Sestoft and Harald Søndergaard. "An experiment in partial evaluation: The generation of a compiler generator". Rewriting Techniques and Applications. 1985. Citation.
  • Neil D. Jones, Peter Sestoft and Harald Søndergaard. "An experiment in partial evaluation: the generation of a compiler generator". SIGPLAN Notices. 20(8). August 1985. Available online: ACM Digital Library. Citation.

Type Specialization

  • John Hughes. "An Introduction to Program Specialisation by Type Inference". Glasgow Workshop on Functional Programming, 1996. 1996. Available online: ps pdf. Citation.
  • John Hughes. "Type Specialisation for the Lambda-calculus; or, A New Paradigm for Partial Evaluation based on Type Inference". Dagstuhl Seminar on Partial Evaluation 1996. 1996. Available online: ps pdf. Citation.
  • Dirk Dussart, John Hughes and Peter Thiemann. "Type Specialisation for Imperative Languages". International Conference on Functional Programming (ICFP'97). 1997. Available online: ps pdf. Citation.
  • John Hughes. "Type Specialisation". ACM Computing Surveys. 1998. Available online: ps pdf. Citation.
  • John Hughes. "A Type Specialisation Tutorial". Partial Evaluation - Practice and Theory, 1998. 1998. Available online: ps pdf. Citation.
  • John Hughes. "The Correctness of Type Specialisation". Chalmers University of Technology. October 1999. Available online: ps pdf. Citation.
  • Per Sjors. "Type Specialisation of a Subset of Haskell". Masters Thesis. Chalmers University of Technology. June 1997. Available online: ps pdf. Citation.
  • Olivier Danvy. "A Simple Solution to Type Specialization". Automata, Languages, and Programming, ICALP'98. January 1998. Available online: ps pdf. Citation.
  • Peter Thiemann. "Enforcing Security Properties by Type Specialization". European Symposium on Programming (ESOP'01). April 2001. Available online: ps. Citation.
  • Pablo E. Martínez López and Hernán Badenes. "Simplifying and Solving Principal Types for Principal Type Specialisation". Workshop Argentino de Informática Teórica. February 2003. Available online: ps pdf. Citation.
  • Pablo E. Martínez López and John Hughes. "Principal Type Specialisation". ASIAN Symposium on Partial Evaluation and Semantics Based Program Manipulations (ASIA-PEPM '02). September 2002. Available online: ps pdf. Citation.
  • Alejandro C. Russo. "Principal Type Specialization of Dynamic Sum-Types". Masters Thesis. National University of Rosario. August 2004. Available online: ps pdf. Citation.
  • Walid Taha and Henning Makholm. "Tag elimination; or, Type specialization is a type-indexed effect". Subtyping & Dependent Types in Programming (APPSEM Workshop, DTP'00). July 2000. Available online: ps pdf. Citation.
  • Henning Makholm. "MiXIMUM - a simpler and more liberal type specializer". University of Copenhagen. March 2000. Available online: ps pdf. Citation.

Other Techniques

  • Torben Æ. Mogensen. "Constructor Specialization". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'93). June 1993. Available online: ps pdf. Citation.
  • Peter Sestoft. "Automatic call unfolding in a partial evaluator". Partial Evaluation and Mixed Computation. 1988. Citation.
  • Daniel Weise and Erik Ruf. "Computing Types During Program Specialization". Stanford Computer Systems Laboratory. December 1990. Available online: ps pdf. Citation.
  • François Noël, Luke Hornof, Charles Consel and Julia L. Lawall. "Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study". IEEE International Conference on Computer Languages (ICCL '98). May 1998. Available online: ps. Citation.
  • Anne-Françoise Le Meur, Julia L. Lawall and Charles Consel. "A Pragmatic Approach to Declaring Specialization Scenarios". Laboratoire Bordelais de Recherche en Informatique. 1285-02. 2002. Available online: ps pdf. Citation.
  • François Noël. "Spécialisation dynamique de code par évaluation partielle". PhD. Thesis. Université de Rennes 1. October 1996. Available online: ps pdf. Citation.
  • 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. Citation.
  • 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. Citation.
  • Kenichi Asai. "Integrating Partial Evaluators into Interpreters,". Semantics, Applications, and Implementation of Program Generation. LNCS 2196. September 2001. Available online: ps. Citation.
  • Bernd Grobauer. "Topics in Semantics-based Program Manipulation". PhD. Thesis. University of Aarhus. July 2001. Available online: ps pdf. Citation.
  • 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. Citation.
  • 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. Citation.
  • 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. Citation.
  • 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. Citation.
  • Peter Thiemann. "ML-Style Typing, Lambda Lifting, and Partial Evaluation". Latin American Conference on Functional Programming, CLAPF '99. March 1999. Available online: ps. Citation.
  • Simon Helsen and Peter Thiemann. "Polymorphic Specialization for Polymorphic Programming Languages". May 2000. Available online: ps. Citation.
  • 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. Citation.
  • Saumya Debray. "Resource-bounded partial evaluation". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'97). June 1997. Available online: ACM Digital Library. Citation.
  • Saumya Debray. "Resource-bounded partial evaluation". University of Arizona. January 1998. Available online: ps. Citation.
  • Olivier Danvy and Morten Rhiger. "A Simple Take on Typed Abstract Syntax in Haskell-like Languages". Functional and Logic Programming, FLOPS '01. 2001. Available online: ps pdf. Citation.
  • Olivier Danvy and Pablo E. Martínez López. "Tagging, Encoding, and Jones Optimality". European Symposium on Programming (ESOP '03). January 2003. Available online: ps pdf. Citation.
  • Walid Taha, Henning Makholm and John Hughes. "Tag elimination and Jones-optimality". Programs as Data Objects (PADO-II). May 2001. Available online: ps pdf. Citation.
  • Henning Makholm. "On Jones-optimal specialization for strongly typed languages". Semantics, Applications and Implementation of Program Generation (SAIG '00). September 2000. Available online: ps pdf. Citation.
  • Torben Æ. Mogensen. "Evolution of Partial Evaluators: Removing Inherited Limits". Partial Evaluation: Dagstuhl Seminar. LNCS 1110. February 1996. Available online: ps pdf. Citation.
  • Torben Æ. Mogensen. "Inherited Limits". Partial Evaluation: Practice and Theory (1998 DIKU International Summerschool). 1998. Citation.
  • Torben Æ. Mogensen. "Inherited limits". ACM Computing Surveys. 30(3es). 1998. Available online: ACM Digital Library. Citation.
  • Rogardt Heldal and John Hughes. "Extending a partial evaluator which supports separate compilation". Theoretical Computer Science. 248. 2000. Citation.
  • Dirk Dussart and Rogardt Heldal and John Hughes. "Module-Sensitive Program Specialisation". Programming Language Design and Implementation (PLDI'97). 1997. Available online: ACM Digital Library. Citation.
  • Rogardt Heldal and John Hughes. "Partial Evaluation and Separate Compilation". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'97). 1997. Available online: ACM Digital Library. Citation.
  • Todd B. Knoblock and Erik Ruf. "Data Specialization". Programming Language Design and Implementation (PLDI'96). May 1996. Available online: ps pdf. Citation.

Last modified: Monday, February 16th, 2009 6:22:07pm
HTML generated using WebIt!.