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

Recent Additions...

January 22, 2006

January 4, 2006

  • John P. Gallagher. "Specialisation of Logic Programs: A Tutorial". ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '93). June 1993. Available online: ps pdf. Abstract and citation.
  • Michael Leuschel. "Logic Program Specialisation". Partial Evaluation: Practice and Theory, 1998 DIKU Summerschool. 1998. Available online: ps pdf. Abstract and citation.
  • Michael Leuschel. "Advanced Logic Program Specialisation". Partial Evaluation: Practice and Theory, 1998 DIKU Summerschool. 1998. Available online: ps pdf. Abstract and citation.
  • Charles Consel and Siau Cheng Khoo. "Semantics-directed generation of a Prolog compiler". Science of Computer Programming. volume 21. 1993. 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.

January 10, 2005

  • Lennart Augustsson. "Partial Evaluation in Aircraft Crew Planning". Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School. June 1998. Citation.
  • Satnam Singh and Nicholas McKay. "Partial Evaluation of Hardware". Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School. June 1998. Citation.
  • 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. Citation.
  • Hidehiko Masuhara, Gregor Kiczales and Christopher Dutchyn. "A Compilation and Optimization Model for Aspect-Oriented Programs". Compiler Construction (CC2003). 2003. Available online: ps pdf. Citation.
  • Torben Amtoft. "Sharing of Computations". PhD. Thesis. University of Aarhus. August 1993. Available online: ps pdf. Citation.

December 30, 2004

  • John Hatcliff. "An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart Language". Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School. June 1998. Available online: ps pdf. 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.
  • Morten H. Sørensen and Robert Glück. "Introduction to Supercompilation". Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School. June 1998. Available online: ps pdf. Citation.

December 20, 2004

  • 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.
  • Wing-Yee Au, Daniel Weise and Scott Seligman. "Generating Compiled Simulations Using Partial Evaluation". 28th Design Automation Conference. June 1991. Available online: ps pdf. Citation.
  • Daniel Weise and Scott Seligman. "Accelerating Object-Oriented Simulation via Automatic Program Specialization". Stanford University. CSL-TR-92-519. April 1992. Available online: ps pdf. Citation.
  • Brian Guenter, Todd B. Knoblock and Erik Ruf. "Specializing Shaders". ACM SIGGRAPH '95. August 1995. Available online: ps pdf. Citation.
  • Todd B. Knoblock and Erik Ruf. "Data Specialization". Programming Language Design and Implementation (PLDI'96). May 1996. Available online: ps pdf. Citation.
  • Erik Ruf. "Partial Evaluation in Reflective System Implementations". OOPSLA'93 Workshop on Reflection and Metalevel Architecture. October 1993. Available online: ps pdf. Citation.
  • Nathaniel David Osgood. "PARTICLE: an Automatic Program Specialization System for Imperative and Lowlevel Languages". Masters Thesis. MIT. September 1993. Available online: ps pdf. Citation.

December 16, 2004

  • 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.
  • 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.
  • 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.
  • 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. Citation.
  • P. Kleinrubatscher, A. Kriegshaber, R. Zöchling and Robert Glück. "Fortran Program Specialization". Workshop Semantikgestützte Analyse, Entwicklung und Generierung von Programmen. 1994. Available online: ps pdf. Citation.
  • R. Baier, Robert Glück and R. Zöchling. "Partial Evaluation of Numerical Programs in Fortran". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94). 1994. Available online: ps pdf. Citation.
  • P. Kleinrubatscher, A. Kriegshaber, R. Zöchling and Robert Glück. "Fortran Program Specialization". SIGPLAN Notices. 30(4). 1995. 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.
  • R. Baier, Robert Glück and R. Zöchling. "Specialization of numerical programs with the FSpec system". Software Engineering im Scientific Computing. 1996. 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.
  • Niels H. Christensen. "Domain-specific languages in software development - and the relation to partial evaluation". PhD. Thesis. University of Copenhagen. July 2003. Available online: ps pdf. 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.

December 14, 2004

  • Zhe Yang. "Reasoning about code generation in two-level languages". July 2001. 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.
  • Sebastian C. Skalberg. "Mechanical Proof of the Optimality of a Partial Evaluator". Masters Thesis. University of Copenhagen. February 1999. 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.
  • Simon Helsen and Peter Thiemann. "Polymorphic Specialization for ML". Transactions on Programming Languages and Systems (TOPLAS). 26(4). July 2004. Available online: ps pdf. Citation.
  • Simon Helsen. "Region-based Program Specialization". PhD. Thesis. Universität Freiburg. October 2002. 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.

December 12, 2004

  • 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.
  • Morten Rhiger. "A Study in Higher-Order Programming Languages". Masters Thesis. Aarhus University. December 1997. Available online: ps pdf. Citation.
  • Daniel Damian. "Partial Evaluation for Program Analysis". BRICS Ph.D. School, University of Aarhus. Ph.D. Progress Report. June 1998. Available online: ps 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.

December 7, 2004

  • Zhe Yang. "Language Support for Program Generation: Reasoning, Implementation, and Applications". PhD. Thesis. New York University. September 2001. Available online: ps pdf. Citation.
  • Charles Consel and Olivier Danvy. "Partial Evaluation in Parallel". Lisp and Symbolic Computation. Volume 5. Issue 4. 1992. Available online: ps pdf. Citation.

December 6, 2004

  • Lennart Augustsson. "Partial evaluation in aircraft crew planning". Partial Evaluation and Semantics-Based Program Manipulation, PEPM97. June 1997. Available online: ps pdf. Citation.
  • Rajeev J. Surati. "A Parallelizing Compiler Based on Partial Evaluation". Massachusetts Institute of Technology. AITR-1377. July 1993. Available online: ps pdf. 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.
  • 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. Citation.
  • Kenneth R. Anderson. "Freeing the Essence of a Computation". ACM SIGPLAN Lisp Pointers. Volume VIII. Issue 2. May 1995. Available online: ps pdf. Citation.
  • Darius Bacon. "A Hacker's Introduction to Partial Evaluation". The Lisp Magazine at lisp-p.org. August 2002. Available online: html. Citation.

November 28, 2004

  • Morten Welinder. "Towards Efficient Conversions by use of Partial Evaluation". HUG-94. September 1994. Available online: ps pdf. Citation.
  • Morten Welinder. "Very Efficient Conversions". Higher Order Logic, Theorem Proving, and Its Applications. September 1995. Available online: ps pdf. Citation.
  • Lars Ole Andersen and Christian Mossin. "Binding Time Analysis via Type Inference". University of Copenhagen. Student Project 90-10-12. October 1990. 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.
  • Peter Holst Andersen. "Partial Evaluation Applied to Ray Tracing". 1993. Available online: ps pdf. Citation.
  • Peter Holst Andersen. "Partial evaluation applied to ray tracing". Software Engineering in Scientific Computing. 1996. Available online: ps pdf. 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.
  • Carsten K. Holst and Carsten K. Gomard. "Partial Evaluation is Fuller Laziness". Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91. 1991. Available online: ACM Digital Library. Citation.
  • Torben Æ. Mogensen and Carsten K. Holst. "Terminology". Partial Evaluation and Mixed Computation. 1988. 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. "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.
  • 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, Neil D. Jones, Torben Æ. Mogensen and Peter Sestoft. "Binding Time Analysis and the Taming of Self-Application". University of Copenhagen. August 1988. 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. "Constructor Specialization". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'93). June 1993. Available online: ps pdf. Citation.
  • Torben Æ. Mogensen. "Glossary for Partial Evaluation and Related Topics". Higher-Order and Symbolic Computation. 13(4). December 2000. Available online: 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.
  • Torben Æ. Mogensen. "Partial evaluation: concepts and applications". Partial Evaluation: Practice and Theory (1998 DIKU International Summerschool). 1998. Citation.
  • Torben Æ. Mogensen. "Partially Static Structures in a Self-Applicable Partial Evaluator". Partial Evaluation and Mixed Computation. 1988. 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.
  • Torben Æ. Mogensen. "Separating Binding Times in Language Specifications". Functional Programming Languages and Computer Architecture. September 1989. Available online: ACM Digital Library. Citation.
  • Anders Bondorf and Jens Palsberg. "Generating action compilers by partial evaluation". Journal of Functional Programming. 6(2). 1996. Citation.
  • Anders Bondorf and Jens Palsberg. "Compiling actions by partial evaluation". Functional Programming and Computer Architecture (FPCA'93). June 1993. 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.
  • Christian Mossin. "Similix Binding Time Debugger Manual, system version 4.0". September 1991. Citation.

November 27, 2004

  • David A. Fuller, Sacha Bocic and Leopoldo Bertossi. "Towards Efficient Partial Evaluation in Logic Programming". New Generation Computing. 14(2). 1996. Available online: pdf. Citation.
  • S. Barker, Michael Leuschel and M. Varea. "Efficient and Flexible Access Control via Logic Program Specialisation". Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2004). 2004. Available online: pdf. Citation.
  • S. J. Craig, John P. Gallagher, Michael Leuschel and K. S. Henriksen. "Fully Automatic Binding Time Analysis for Prolog". LOPSTR'04. 2004. Available online: pdf. Citation.
  • S. J. Craig and Michael Leuschel. "Lix: An Effective Self-applicable Partial Evaluator for Prolog". Functional and Logic Programming, FLOPS 2004. 2004. Available online: pdf. Citation.
  • Michael Leuschel. "A Framework for the Integration of Partial Evaluation and Abstract Interpretation of Logic Programs". ACM Transactions on Programming Languages and Systems (TOPLAS). 26(3). 2004. Available online: pdf. Citation.
  • Michael Leuschel, S. J. Craig, M. Bruynooghe and Wim Vanhoof. "Specializing Interpreters using Offline Partial Deduction". Program Development in Computational Logic. 2004. Available online: pdf. Citation.
  • Michael Leuschel, Jesper Jørgensen, Wim Vanhoof and M. Bruynooghe. "Offline Specialisation in Prolog Using a Hand-Written Compiler Generator". Theory and Practice of Logic Programming. 4(1). 2004. Available online: pdf. Citation.
  • Wim Vanhoof, M. Bruynooghe and Michael Leuschel. "Binding-Time Analysis for Mercury". Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development. 2004. Available online: pdf. Citation.
  • S. J. Craig and Michael Leuschel. "A Compiler Generator for Constraint Logic Programs". Perspectives of System Informatics, Andrei Ershov Fifth International Conference. 2003. Available online: ps. Citation.
  • D. Elphick, Michael Leuschel and S. Cox. "Partial Evaluation of MATLAB". Generative Programming and Component Engineering (GPCE'2003). 2003. Citation.
  • B. Farwer and Michael Leuschel. "Model Checking of Object Petri Nets in Prolog". University of Southampton. DSSE-TR-2003-4. 2003. Available online: pdf. Citation.
  • H. Lehmann and Michael Leuschel. "Inductive Theorem Proving by Program Specialisation: Generating proofs for Isabelle using Ecce". Logic Based Program Synthesis and Transformation, LOPSTR 2003. 2003. Available online: pdf. Citation.
  • Michael Leuschel, S. J. Craig, M. Bruynooghe and Wim Vanhoof. "Specializing Interpreters using Offline Partial Deduction". University of Southampton. DSSE-TR-2003-5. 2003. Available online: pdf. Citation.
  • H. Lehmann and Michael Leuschel. "Generating inductive verification proofs for Isabelle using the partial evaluator Ecce". University of Southampton. DSSE-TR-2002-02. 2002. Available online: pdf. Citation.
  • Michael Leuschel and M. Bruynooghe. "Logic program specialisation through partial deduction: Control Issues". Theory and Practice of Logic Programming. 2805(4&5). 2002. Available online: pdf. Citation.
  • Michael Leuschel and S. Gruner. "Abstract Conjunctive Partial Deduction using Regular Types and its Application to Model Checking". Logic Based Program Synthesis and Transformation, LOPSTR'2002. 2002. Available online: pdf. Citation.
  • Michael Leuschel and T. Massart. "Logic programming and partial deduction for the verification of reactive systems: An experimental evaluation". Automated Verification of Critical Systems AVoCS'02. 2002. Available online: pdf. Citation.
  • Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens and Morten H. Sørensen. "Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments". Journal Logic Programming. 41(2&3). 1999. Available online: ps pdf. Citation.
  • Michael Leuschel. "Advanced Logic Program Specialisation". Partial Evaluation: Practice and Theory, 1998 DIKU Summerschool. 1998. Available online: ps pdf. Abstract and citation.
  • Michael Leuschel. "Logic Program Specialisation". Partial Evaluation: Practice and Theory, 1998 DIKU Summerschool. 1998. Available online: ps pdf. Abstract and citation.
  • Michael Leuschel and Jesper Jørgensen. "Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN". Electronic Notes in Theoretical Computer Science. 30(2). 1999. Citation.
  • Michael Leuschel and Jesper Jørgensen. "Efficient Specialisation in Prolog Using a Hand-Written Compiler Generator". University of Southampton. DSSE-TR-99-6. 1999. Available online: ps pdf. Citation.
  • J. Martin and Michael Leuschel. "Sonic Partial Deduction". Third International Ershov Confernce on Perspectives of System Informatics. 1999. Available online: ps pdf. Citation.
  • M. Bruynooghe, Michael Leuschel and K. Sagonas. "A Polyvariant Binding-Time Analysis for Off-line Partial Deduction". European Symposium on Programming (ESOP'98). 1998. Available online: ps pdf. Citation.
  • Michael Leuschel. "Program Specialisation and Abstract Interpretation Reconciled". Joint Int. Conf. and Symp. on Logic Programming (JICSLP). 1998. Available online: ps pdf. Citation.
  • Michael Leuschel and Danny De Schreye. "Creating Specialised Integrity Checks Through Partial Evaluation of Meta-interpreters". Journal of Logic Programming. 36. 1998. Available online: ps pdf. Citation.
  • Michael Leuschel and Danny De Schreye. "Creating Specialised Integrity Checks Through Partial Evaluation of Meta-interpreters". Katholieke Universiteit Leuven. 1998. Available online: ps pdf. Citation.
  • Michael Leuschel, Bern Martens and Danny De Schreye. "Controlling Generalisation and Polyvariance in Partial Deduction of Normal Logic Programs". ACM Transactions on Programming Languages and Systems (TOPLAS). 20(1). 1998. Available online: ps pdf. Citation.
  • Michael Leuschel, Bern Martens and Danny De Schreye. "Some Achievements and Prospects in Partial Deduction". Symposium on Partial Evaluation, 1998. 1998. Available online: ps pdf. Citation.
  • K. Sagonas and Michael Leuschel. "Extending Partial Deduction to Tabled Execution: Some Results and Open Issues". Symposium on Partial Evaluation, 1998. 1998. Available online: ps pdf. Citation.
  • Michael Leuschel. "Advanced Techniques for Logic Program Specialisation". AI Communications. 10. 1997. Citation.
  • Michael Leuschel. "The ecce Partial Deduction System". ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming. 1997. Available online: ps pdf. Citation.
  • Michael Leuschel, Bern Martens and Danny De Schreye. "Controlling Generalisation and Polyvariance in Partial Deduction of Normal Logic Programs". Katholieke Universiteit Leuven. CW-248. February 1997. Available online: ps pdf. Citation.
  • Jesper Jørgensen and Michael Leuschel. "Efficiently Generating Efficient Generating Extensions in Prolog". Dagstuhl Seminar on Partial Evaluation 1996. 1996. Citation.
  • Jesper Jørgensen and Michael Leuschel. "Efficiently Generating Efficient Generating Extensions in Prolog". Katholieke Universiteit Leuven. CW-221. 1996. Available online: ps pdf. Citation.
  • Jesper Jørgensen, Michael Leuschel and Bern Martens. "Conjunctive Partial Deduction in Practice". Logic Program Synthesis and Transformation (LOPSTR'96). 1996. Available online: ps pdf. Citation.
  • Robert Glück, Jesper Jørgensen, Bern Martens and Morten H. Sørensen. "Controlling Conjunctive Partial Deduction of Definite Logic Programs". Katholieke Universiteit Leuven. CW-226. February 1996. Citation.
  • Michael Leuschel and Danny De Schreye. "Logic Program Specialisation: How To Be More Specific". Programming Languages, Implementations, Logics and Programs (PLILP'96). 1996. Available online: ps pdf. Citation.
  • Michael Leuschel and Morten H. Sørensen. "Redundant Argument Filtering of Logic Programs". Logic Program Synthesis and Transformation (LOPSTR'96). 1996. Available online: ps pdf. Citation.
  • Michael Leuschel. "Partial Evaluation of the Real Thing". Logic Program Synthesis and Transformation (LOPSTR'95). 1995. Available online: ps pdf. Citation.
  • Michael Leuschel and Danny De Schreye. "Towards Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'95). 1995. Available online: ps pdf. Citation.
  • Michael Leuschel, Danny De Schreye and Bern Martens. "Tutorial on Program Specialisation". International Logic Programming Symposium (ILPS). 1995. Citation.
  • Michael Leuschel and Bern Martens. "Partial Deduction of the Ground Representation and its Application to Integrity Checking". Int. Logic Programming Symposium (ILPS). 1995. Available online: ps pdf. Citation.
  • Michael Leuschel. "Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints". Logic Program Synthesis and Transformation, LOPSTR'95. September 1995. Available online: ps pdf. Citation.
  • Michael Leuschel and Danny De Schreye. "An Almost Perfect Abstraction Operator for Partial Deduction". Katholieke Universiteit Leuven. CW 199. December. Available online: ps pdf. Citation.

November 26, 2004

  • Wim Vanhoof. "Techniques for online and offline specialisation of logic programs". PhD. Thesis. Katholieke Universiteit Leuven. June 2001. Available online: ps pdf. Citation.
  • Michael Leuschel. "Self-applicable Partial Evaluation in Prolog". Masters Thesis. Katholieke Universiteit Leuven. 1993. 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.
  • 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.
  • Corin Gurr. "A Guide to specialising Gödel programs with the partial evaluator SAGE". University of Bristol. CSTR-95-05. 1995. Available online: ps pdf. Citation.
  • Corin Gurr. "SAGE: A Self-Applicable Partial Evaluator for the Logic Programming Language Gödel". PhD. Thesis. University of Bristol. January 1994. Available online: ps pdf. Citation.
  • Corin Gurr. "A Self-Applicable Partial Evaluator for the Logic Programming Language Goedel". University of Edinburgh. 1994. Available online: ps pdf. Citation.
  • Corin Gurr. "Specialising the Ground Representation in the Logic Programming Language Goedel". University of Bristol. CSTR-92-30. 1992. Available online: ps pdf. Citation.
  • Corin Gurr. "Specialising the ground representation in the logic programming language Gödel". Third International Workshop on Logic Program Synthesis and Transformation. July 1993. Available online: ps pdf. Citation.
  • Antony Bowers and Corin Gurr. "Towards fast and declarative meta-programming". Meta-logics and Logic Programming. 1995. Available online: ps pdf. Citation.
  • Laura Lafave and John P. Gallagher. "Partial Evaluation of Functional Logic Programs in Rewriting-based Languages". University of Bristol. CSTR-97-001. March 1997. Available online: pdf. Citation.
  • Julio C. Peralta and John P. Gallagher. "Towards Semantics-Based Partial Evaluation of Imperative Programs". University of Bristol. CSTR-97-003. April 1997. Available online: pdf. Citation.
  • Laura Lafave and John P. Gallagher. "Constraint-based Partial Evaluation of Rewriting-based Functional Logic Programs". Program Synthesis and Transformation, LOPSTR'97. July 1997. Citation.
  • John P. Gallagher and Laura Lafave. "The role of trace abstractions in program specialization algorithms". ACM Computing Surveys. volume 30 (3es). September 1998. Available online: ACM Digital Library. Citation.
  • Laura Lafave and John P. Gallagher. "Extending the power of automatic constraint-based partial evaluators". ACM Computing Surveys. volume 30 (3es). September 1998. Available online: ACM Digital Library. Citation.
  • G. Puebla, M. Hermenegildo and John P. Gallagher. "An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework". Partial Evaluation and Semantics-Based Program Manipulation, PEPM'99. January 1999. Available online: pdf. Citation.
  • John P. Gallagher and Julio C. Peralta. "Using Regular Approximations for Generalisation During Partial Evaluation". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'2000). January 2000. Available online: pdf. Citation.
  • Julio C. Peralta and John P. Gallagher. "Imperative Program Specialisation: An Approach Using CLP". Logic-Based Program Synthesis and Transformation (LOPSTR'99). April 2000. Citation.
  • John P. Gallagher and Julio C. Peralta. "Regular Trees as an Abstract Domain for Program Specialisation". University of Bristol. CSTR-00-010. September 2000. Available online: pdf. Citation.
  • John P. Gallagher and Julio C. Peralta. "Regular Tree Languages as an Abstract Domain in Program Specialisation". Higher-Order and Symbolic Computation. 14(2-3). November 2001. Citation.
  • Laura Lafave. "A Constraint-based Partial Evaluator for Functional Logic Programs and its Application". PhD. Thesis. University of Bristol. February 1999. Available online: pdf. Citation.
  • D. Andre de Waal. "Analysis and Transformation of Proof Procedures". PhD. Thesis. University of Bristol. October 1994. Available online: pdf. Citation.
  • Antony Bowers. "Effective Meta-programming in Declarative Languages". PhD. Thesis. University of Bristol. January 1998. Available online: pdf. Citation.
  • Julio C. Peralta. "Analysis and Specialisation of Imperative Programs: An approach using CLP". PhD. Thesis. University of Bristol. July 2000. Available online: pdf. Citation.
  • D. Andre de Waal, John P. Gallagher. "The Applicability of Logic Program Analysis and Transformation to Theorem Proving". University of Bristol. September 1993. Available online: ps pdf. Citation.
  • John P. Gallagher. "A System For Specialising Logic Programs". University of Bristol. November 1991. Available online: ps pdf. Citation.
  • D. Andre de Waal, John P. Gallagher. "Logic Program Specialisation With Deletion of Useless Clauses". University of Bristol. 1993. Available online: pdf. Citation.

November 22, 2004

  • Anders Bondorf, F. Frauendorf and M. Richter. "An experiment in automatic self-applicable partial evaluation of Prolog". University of Dortmund. Technical Report 335. 1990. Citation.
  • Anders Bondorf and Torben Æ. Mogensen. "Logimix: A Self-Applicable Partial Evaluator for Prolog". May 1990. Citation.
  • Torben Æ. Mogensen and Anders Bondorf. "Logimix: a self-applicable partial evaluator for Prolog". LOPSTR 92. January 1993. Available online: ps pdf. Citation.
  • J. W. Lloyd and J. C. Shepherdson. "Partial Evaluation in Logic Programming". University of Bristol. Technical Report CS-87-09. 1987. Citation.
  • J. W. Lloyd and J. C. Shepherdson. "Partial evaluation in logic programming". Journal of Logic Programming. 11:217–242. 1991. Citation.
  • David A. Fuller. "Partial Evaluation and Mix Computation in Logic Programming". PhD. Thesis. Imperial College. February 1989. Citation.

November 22, 2004

  • 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.
  • Peter Thiemann and Michael Sperber. "Program Generation With Class". GI-Arbeitstagung Programmiersprachen. September 1997. Available online: ps. Citation.
  • Peter Thiemann. "A Generic Framework for Specialization". European Symposium on Programming, ESOP '98. April 1998. Available online: ps. Citation.
  • Peter Thiemann. "Interpreting Specialization in Type Theory". Partial Evaluation and Semantics-Based Program Manipulation, PEPM '99. January 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.
  • Peter Thiemann. "Program Specialization for Efficient Monitored Execution". February 2001. Available online: ps. Citation.
  • Peter Thiemann. "Continuation-Based Partial Evaluation Without Continuations". Static Analysis Symposium (SAS 2003). 2003. Available online: ps. Citation.
  • Peter Thiemann. "Enforcing Security Properties by Type Specialization". European Symposium on Programming (ESOP'01). April 2001. Available online: ps. 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.
  • Peter Sestoft. "The structure of a self-applicable partial evaluator". Programs as Data Objects. 1985. Citation.
  • Peter Sestoft. "Automatic call unfolding in a partial evaluator". Partial Evaluation and Mixed Computation. 1988. Citation.
  • Peter Sestoft and Harald Søndergaard. "A bibliography on partial evaluation". SIGPLAN Notices. 23(2). February 1988. Available online: ACM Digital Library. Citation.
  • Peter Sestoft and A. V. Zamulin. "Annotated bibliography on partial evaluation and mixed computation". Partial Evaluation and Mixed Computation. 1988. 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.
  • Peter Sestoft. "ML pattern match compilation and partial evaluation". Partial Evaluation. February 1996. Available online: ps. Citation.
  • Torben Æ. Mogensen and Peter Sestoft. "Partial Evaluation". Encyclopedia of Computer Science and Technology. 1997. Available online: ps pdf. Citation.

November 18, 2004

  • Michael Sperber. "Self-Applicable Online Partial Evaluation". Partial Evaluation: Dagstuhl Seminar. LNCS 1110. February 1996. 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.
  • Andrew A. Berlin. "A Compilation Strategy for Numerical Programs Based on Partial Evaluation". Masters Thesis. February 1989. Available online: ps pdf. Citation.
  • Andrew A. Berlin and Daniel Weise. "Compiling Scientific Code Using Partial Evaluation". July 1989. Available online: ps pdf. Citation.
  • Andrew A. Berlin and Rajeev J. Surati. "Exploiting the Parallelism Exposed by Partial Evaluation". April 1993. Available online: ps pdf. Citation.
  • Andrew A. Berlin and Rajeev J. Surati. "Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience". May 1994. 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.
  • 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.
  • Rogardt Heldal. "Generating More Practical Compilers by Partial Evaluation". Functional Programming. 1991. Citation.
  • John Hughes. "An Introduction to Program Specialisation by Type Inference". Glasgow Workshop on Functional Programming, 1996. 1996. Available online: ps pdf. Citation.
  • John Hughes. "The Correctness of Type Specialisation". Chalmers University of Technology. October 1999. 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. "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.
  • John Hughes. "A Type Specialisation Tutorial". Partial Evaluation - Practice and Theory, 1998. 1998. Available online: ps pdf. Citation.
  • Carsten K. Holst and John Hughes. "Towards Binding-time Improvement for Free!". Functional Programming. 1990. Citation.
  • Morten Rhiger. "Deriving a Statically Typed Type-Directed Partial Evaluator". Partial Evaluation and Program Manipulation (PEPM'99). 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.
  • Scott Draves. "Compiler Generation for Interactive Graphics using Intermediate Code". Partial Evaluation: Dagstuhl Seminar. LNCS 1110. February 1996. Available online: ps pdf. Citation.
  • Scott Draves. "Implementing Bit-addressing with Specialization". International Conference on Functional Programming (ICFP'97). 1997. Available online: ps pdf. Citation.
  • Scott Draves. "Partial evaluation for media processing". 1998 Symposium on Partial Evaluation. September 1998. Available online: ACM Digital Library. Citation.
  • Scott Draves. "Automatic Program Specialization for Interactive Media". PhD. Thesis. Carnegie Mellon University. Available online: ps pdf. Citation.

November 17, 2004

  • Olivier Danvy. "Intensional and Extensional Aspects of Partial Evaluation". Aarhus University. March 1995. Available online: ps pdf. Citation.
  • Olivier Danvy. "More about Formatting". Aarhus University. December 1993. Available online: ps pdf. Citation.
  • 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.
  • 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 and Kristoffer H. Rose. "Higher-Order Rewriting and Partial Evaluation". Rewriting Techniques and Applications: 9th International Conference, RTA '98. 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.
  • Olivier Danvy and Morten Rhiger. "Compiling Actions by Partial Evaluation, Revisited". Aarhus University. June 1998. 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.
  • Olivier Danvy. "Type-Directed Partial Evaluation". Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School. June 1998. Available online: ps pdf. Citation.
  • Torben Amtoft. "Partial Evaluation for Constraint-Based Program Analyses". Aarhus University. December 1999. 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". 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 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.
  • 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.
  • Olivier Danvy, Bernd Grobauer and Morten Rhiger. "A Unifying Approach to Goal-Directed Evaluation". New Generation Computing. 20(1). November 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.
  • 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. 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.
  • 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.
  • Morten Rhiger. "Higher-Order Program Generation". PhD. Thesis. Aarhus University. August 2001. Available online: ps pdf. Citation.

November 13, 2004

  • 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.
  • Morten Welinder. "Partial Evaluation and Correctness". PhD. Thesis. University of Copenhagen. September 1996. Available online: ps pdf. Citation.
  • Jens Peter Secher. "Driving-based Program Transformation in Theory and Practice". PhD. Thesis. University of Copenhagen. September 2002. Available online: ps pdf. Citation.

November 13, 2004

  • Michael Leuschel. "Advanced Techniques for Logic Program Specialization". PhD. Thesis. Katholieke Universiteit Leuven. May 1996. Available online: ps pdf. Citation.
  • Srinivasa Yadavalli. "Partial Evaluation in an Optimizing Prolog Compiler". PhD. Thesis. University of Saskatchewan. April 2000. Available online: pdf. Citation.
  • Dan Sahlin. "An Automatic Partial Evaluator for Full Prolog". PhD. Thesis. The Royal Institute of Technology. March 1991. Available online: ps pdf. Citation.
  • Silvano Dal-Zilio and John Hughes. "A self-applicable partial evaluator for a subset of Haskell". August 1993. Available online: ps pdf. Citation.
  • Kristoffer H. Rose. "Type-directed Partial Evaluation in Haskell". April 1998. Available online: ps pdf. Citation.
  • Duncan Coutts. "Partial Evaluation for Domain-Specific Embedded Languages in a Higher Order Typed Language". Oxford University. October 2004. Available online: pdf. Citation.

October 21, 2004

  • Lars Birkedal and Morten Welinder. "Binding-Time Analysis for Standard ML". Partial Evaluation and Program Manipulation (PEPM'94). June 1994. Available online: ps pdf. Citation.
  • Lars Birkedal and Morten Welinder. "Hand-Writing Program Generator Generators". PLILP 94. September 1994. Available online: ps pdf. Citation.
  • Lars Birkedal and Morten Welinder. "Binding-Time Analysis for Standard ML". Lisp and Symbolic Computation. 1995. Available online: ps pdf. Citation.
  • Lars Birkedal and Morten Welinder. "Partial Evaluation of Standard ML". Masters Thesis. DIKU, University of Copenhagen. October 1993. Available online: ps pdf. Citation.
  • Karoline Malmkjær, Nevin Heintze and Olivier Danvy. "ML Partial Evaluation using Set-Based Analysis". ACM SIGPLAN Workshop on Standard ML and its Applications (1994). 1994. Available online: ps pdf. Citation.
  • Morten Marquard and Bjarne Steensgaard. "Partial Evaluation of an Object-Oriented Imperative Language". Masters Thesis. DIKU, University of Copenhagen. April 1992. Available online: ps pdf. Citation.

October 19, 2004

  • Lars Ole Andersen. "Binding-Time Analysis and the Taming of C Pointers". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'93). 1993. Available online: ps pdf. Citation.
  • Lars Ole Andersen. "C Program Specialization". Masters Thesis. DIKU, University of Copenhagen. December 1991. Available online: ps pdf. Citation.
  • Lars Ole Andersen. "C Program Specialization". DIKU, University of Copenhagen. May 1992. Available online: ps pdf. Citation.
  • Lars Ole Andersen. "Partial Evaluation of C and Automatic Compiler Generation". Compiler Constructions--4th International Conference, CC'92. October 1992. Available online: ps pdf. Citation.
  • Lars Ole Andersen. "Self-Applicable C Program Specialization". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'92). June 1992. Available online: ps pdf. Citation.
  • Lars Ole Andersen. "Program Analysis and Specialization for the C Programming Language". PhD. Thesis. DIKU, University of Copenhagen. May 1994. Available online: ps pdf. Citation.
  • Arne J. Glenstrup, Henning Makholm and Jens Peter Secher. "C-Mix -- Specialization of C Programs". Partial Evaluation: Practice and Theory. 1999. Citation.
  • Arne J. Glenstrup, Henning Makholm and Jens Peter Secher. "C-Mix: Making Easily Maintainable C-Programs run Fast". Software Tools for Technology Transfer. June 1998. Available online: ps pdf. Citation.
  • Henning Makholm. "Specializing C - an introduction to the principles behind C-Mix II". DIKU, University of Copenhagen. 1999. 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • Charles Consel, Luke Hornof, Julia L. Lawall, Renaud Marlet, Gilles Muller, Jacques Noyé, Scott Thibault and Eugen-Nicolae Volanschi. "Tempo: Specializing Systems Applications and Beyond". ACM Computing Surveys. vol 30. no 3. September 1998. Available online: ps. Citation.
  • Julia L. Lawall and Gilles Muller. "Efficient Incremental Checkpointing of Java Programs". INRIA Research Report RR-3810. November 1999. Available online: ps pdf. Citation.
  • Ulrik Pagh Schultz, Julia L. Lawall and Charles Consel. "Automatic Program Specialization for Java". Transactions on Programming Languages and Systems (TOPLAS). 25(4). 2003. Available online: pdf. Citation.
  • Ulrik Pagh Schultz, Julia L. Lawall and Charles Consel. "Automatic Program Specialization for Java". University of Aarhus. DAIMI PB-551. November 2000. Available online: ps pdf. Citation.
  • Ulrik Pagh Schultz. "Partial Evaluation for Class-Based Object-Oriented Languages". PADO-II. May 2000. Available online: ps pdf. Citation.
  • Ulrik Pagh Schultz. "Partial Evaluation for Class-Based Object-Oriented Languages". University of Aarhus. DAIMI PB-552. November 2000. Available online: ps pdf. Citation.
  • Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel and Gilles Muller. "Toward Automatic Specialization of Java Programs". European Conference on Object-Oriented Programming (ECOOP '99). June 1999. Available online: ps pdf. Citation.
  • Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel and Gilles Muller. "Toward Automatic Specialization of Java Programs". IRISA Research Report 1216. December 1998. Available online: ps. Citation.
  • Charles Consel, Luke Hornof, Julia L. Lawall, Renaud Marlet, Gilles Muller, Jacques Noyé, Scott Thibault and Eugen-Nicolae Volanschi. "Partial Evaluation for Software Engineering". ACM Computing Surveys. vol 30. no 3. September 1998. Available online: ps. Citation.
  • Julia L. Lawall. "Faster Fourier Transforms via Automatic Program Specialization". DIKU International Summer School '98 on Partial Evaluation: Practice and Theory. June 1998. Available online: ps pdf. Citation.
  • Ulrik Pagh Schultz. "Black-box program specialization". WCOP'99. 1999. Available online: ps pdf. Citation.
  • Ulrik Pagh Schultz, Julia L. Lawall and Charles Consel. "Specialization Patterns". International Conference on Automated Software Engineering (ASE'2000). January 2000. Available online: ps pdf. Citation.
  • Ulrik Pagh Schultz, Julia L. Lawall and Charles Consel. "Specialization Patterns". IRISA Research Report 1242. 1999. Available online: ps. Citation.
  • Anne-Françoise Le Meur, Julia L. Lawall and Charles Consel. "A Pragmatic Approach to Declaring Specialization Scenarios". Higher-Order and Symbolic Computation. 17(1). March 2004. Available online: ps. Citation.
  • Anne-Françoise Le Meur, Julia L. Lawall and Charles Consel. "Towards Bridging the Gap Between Programming Language and Partial Evaluation". Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02). January 2002. Available online: pdf. Citation.
  • Julia L. Lawall, Gilles Muller and R. E. Voel Jensen. "JIT compilation for evolving embedded systems". LaBRI research report 1273-02. 2002. Available online: ps. Citation.
  • Julia L. Lawall. "Implementing circularity using partial evaluation". Programs as Data Objects (PADO II). 2001. Available online: ps. Citation.

October 17, 2004

  • 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.
  • 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.

October 12, 2004

  • 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.
  • Renaud Marlet. "Vers une formalisation de l'évaluation partielle". PhD. Thesis. Université de Nice - Sophia Antipolis. December 1994. 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.
  • 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.
  • Luke Hornof. "Static Analyses for the Effective Specialization of Realistic Programs". PhD. Thesis. Université de Rennes 1. June 1997. Available online: ps pdf. Citation.
  • Charles Consel, Julia L. Lawall and Anne-Françoise Le Meur. "A Tour of Tempo: A Program Specializer for the C Language". Laboratoire Bordelais de Recherche en Informatique. 1299-03. 2003. Available online: ps pdf. Citation.
  • Charles Consel, Julia L. Lawall and Anne-Françoise Le Meur. "A Tour of Tempo: a Program Specializer for the C language". Science of Computer Programming. volume 52. 2004. Available online: ps pdf. Citation.
  • Anne-Françoise Le Meur. "A Declarative Approach to C Program Specialization". PhD. Thesis. University of Rennes 1. December 2002. Available online: ps pdf. Citation.
  • Eugen-Nicolae Volanschi. "Une approche automatique à la spécialisation de composants système". PhD. Thesis. Université de Rennes 1. February 1998. Available online: ps pdf. Citation.
  • Gilles Muller. "Contribution à la conception de systèmes d'exploitation adaptatifs et extensibles : du micro-noyau à l'évaluation partielle". PhD. Thesis. Université de Rennes 1. October 1997. Available online: ps pdf. Citation.
  • Ulrik Pagh Schultz. "Object-Oriented Software Engineering using Partial Evaluation". PhD. Thesis. Université de Rennes 1. December 2000. Available online: ps pdf. Citation.

October 1, 2004

  • 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 Olivier Danvy. "Preprocessing by Specialization". 1990. Citation.
  • Jesper Jørgensen. "Generating a Pattern Matching Compiler by Partial Evaluation". Glasgow Workshop on Functional Programming. July 1990. Available online: ps pdf. Citation.
  • Jesper Jørgensen. "Compiler Generation by Partial Evaluation". Masters Thesis. DIKU, University of Copenhagen. 1991. 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.
  • Christian Mossin. "Partial evaluation of General Parsers". Partial Evaluation and Semantics Based Program Manipulation (PEPM'93). June 1993. 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.
  • Christian Mossin. "Polymorphic Binding Time Analysis". Masters Thesis. DIKU, University of Copenhagen. July 1993. Available online: ps pdf. Citation.
  • Robert Glück and Jesper Jørgensen. "Generating Optimizing Specializers". IEEE International Conference on Computer Languages. 1994. Available online: ps pdf. Citation.
  • Robert Glück and Jesper Jørgensen. "Generating Transformers for Deforestation and Supercompilation". Static Analysis 1994. 1994. Available online: ps pdf. 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.
  • 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.
  • 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.
  • 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.
  • Olivier Danvy. "Programming Techniques for Partial Evaluation". Marktoberdorf 1999. January 2000. Available online: ps pdf. Citation.
  • Charles Consel and Olivier Danvy. "Partial Evaluation: Principles and Perspectives". Journees Francophones des Langages Applicatifs. February 1993. Available online: ps. Citation.
  • 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. Citation.

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