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

Applications of Partial Evaluation

  • Anders Bondorf. "A Self-Applicable Partial Evaluator for Term Rewriting Systems". Theory and Practice of Software Development (TAPSOFT '89). March 1989. Available online: ps pdf. Citation.
  • Anders Bondorf. "Compiling laziness by partial evaluation". Functional Programming, Glasgow 1990. 1990. Available online: ps pdf. Citation.
  • 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.
  • 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.
  • Brian Guenter, Todd B. Knoblock and Erik Ruf. "Specializing Shaders". ACM SIGGRAPH '95. August 1995. 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.
  • 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.
  • 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.
  • Olivier Danvy. "More about Formatting". Aarhus University. December 1993. Available online: ps pdf. Citation.
  • Peter Sestoft. "ML pattern match compilation and partial evaluation". Partial Evaluation. February 1996. Available online: ps. Citation.
  • Kenichi Asai. "Offline Partial Evaluation for Shift and Reset". Partial Evaluation and Semantics-Based Program Manipulation (PEPM '04). August 2004. 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • Mads Sig Ager, Olivier Danvy and Henning Korsholm Rohde. "Fast Partial Evaluation of Pattern Matching in Strings". University of Aarhus. BRICS-RS-03-11. February 2003. Available online: ps pdf. Citation.
  • Mads Sig Ager, Olivier Danvy and Henning Korsholm Rohde. "On Obtaining Knuth, Morris, and Pratt's String Matcher by Partial Evaluation". ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, ASIA-PEPM '02. July 2002. Available online: ps pdf. Citation.
  • Torben Amtoft, Charles Consel, Olivier Danvy and Karoline Malmkjær. "The Abstraction and Instantiation of String-Matching Programs". University of Aarhus. RS-01-12. April 2001. Available online: ps pdf. Citation.
  • Kenichi Asai, S. Matsuoka and Akinori Yonezawa. "Duplication and Partial Evaluation - For a Better Understanding of Reflective Languages". Lisp and Symbolic Computation. Vol. 9, Nos. 2/3. May/June 1996. Available online: ps. Citation.
  • Kenichi Asai, Hidehiko Masuhara, S. Matsuoka and Akinori Yonezawa. "Partial evaluation as a compiler for reflective languages". University of Tokyo. 95-10. December 1995. Available online: ps. Citation.
  • Kenichi Asai, S. Matsuoka and Akinori Yonezawa. "Roles of a Partial Evaluator for the Reflective Language Black". University of Tokyo. 94-11. May 1994. Available online: ps. Citation.
  • Kenichi Asai. "Online partial evaluation for shift and reset". Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation (PEPM'02). January 2002. Available online: ps ACM Digital Library. Citation.
  • Kenichi Asai. "Can partial evaluation improve the performance of ray tracing?". Ochanomizu University. June 2002. Available online: ps. 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.
  • Andrew A. Berlin and Rajeev J. Surati. "Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience". Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94). June 1994. Available online: ps pdf. Citation.
  • Andrew A. Berlin. "Partial evaluation applied to numerical computation". LISP and Functional Programming (LFP 1990). 1990. Available online: ACM Digital Library. Citation.
  • Andrew A. Berlin and Daniel Weise. "Compiling Scientific Code using Partial Evaluation". Stanford Computer Systems Laboratory. CSL-TR-90-422. March 1990. Available online: ps pdf. Citation.
  • Rajeev J. Surati. "A Parallelizing Compiler Based on Partial Evaluation". Massachusetts Institute of Technology. AITR-1377. July 1993. Available online: ps pdf. Citation.
  • Charles Consel and Olivier Danvy. "Partial Evaluation of Pattern Matching in Strings". Information Processing Letters. Vol. 30. No. 2. January 1989. Available online: ps. Citation.
  • Olivier Danvy. "Semantics-Directed Compilation of Non-Linear Patterns". Information Processing Letters. Vol. 37. March 1991. Available online: ps. Citation.
  • Olivier Danvy, Juergen Koslowski and Karoline Malmkjær. "Compiling Monads". Kansas State University. CIS-92-3. December 1991. Available online: ps pdf. Citation.
  • Olivier Danvy and Mayer Goldberg. "Partial Evaluation of the Euclidian Algorithm". Higher-Order and Symbolic Computing. Vol. 10. No. 2. July 1997. Available online: ps pdf. Citation.
  • Jesper Jørgensen. "Generating a compiler for a lazy language by partial evaluation". Principles of Programming Languages (POPL'92). January 1992. Available online: ps ACM Digital Library. 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.
  • Bernd Grobauer and Julia L. Lawall. "Partial Evaluation of Pattern Matching in Strings, revisited". BRICS report RS-00-31. September 2001. Available online: ps pdf. Citation.
  • Julia L. Lawall. "Proofs by structural induction using partial evaluation". Proceedings of the ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (PEPM'93). 1993. Available online: ACM Digital Library. Citation.
  • Hidehiko Masuhara. "Architecture Design and Compilation Techniques Using Partial Evaluation in Reflective Concurrent Object-Oriented Languages". PhD. Thesis. University of Tokyo. January 1999. Available online: ps pdf. Citation.
  • Hidehiko Masuhara and Akinori Yonezawa. "Design and Partial Evaluation of Meta-objects for a Concurrent Reflective Language". European Conference on Object-Oriented Programming (ECOOP'98). July 1998. Available online: ps pdf. Citation.
  • Christian Queinnec and Jean-Marie Geffroy. "Partial evaluation applied to symbolic pattern matching with intelligent backtrack". WSA '92--Workshop on Static Analysis. September 1992. Available online: ps. Citation.
  • Michael Sperber and Peter Thiemann. "The Essence of LR Parsing". Partial Evaluation and Semantics-Based Program Manipulation PEPM '95. June 1995. Available online: ps. Citation.
  • Peter Thiemann. "Compiling Adaptive Programs by Partial Evaluation". CC 2000. volume 1781 of Lecture Notes in Computer Science. March 2000. Available online: ps. 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.
  • 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 Jesper Jørgensen. "Generating Transformers for Deforestation and Supercompilation". Static Analysis 1994. 1994. 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.
  • Jens Peter Secher. "Driving-based Program Transformation in Theory and Practice". PhD. Thesis. University of Copenhagen. September 2002. 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.
  • Olivier Danvy and Morten Rhiger. "Compiling Actions by Partial Evaluation, Revisited". Aarhus University. June 1998. 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.
  • Torben Amtoft. "Partial Evaluation for Constraint-Based Program Analyses". Aarhus University. December 1999. 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.
  • 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.
  • Anders Bondorf and Jens Palsberg. "Generating action compilers by partial evaluation". Journal of Functional Programming. 6(2). 1996. 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.
  • Peter Thiemann. "Enforcing Security Properties by Type Specialization". European Symposium on Programming (ESOP'01). April 2001. Available online: ps. Citation.
  • Peter Thiemann. "Program Specialization for Efficient Monitored Execution". February 2001. Available online: ps. 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.
  • 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.
  • 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 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.
  • 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 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 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.
  • Lennart Augustsson. "Partial evaluation in aircraft crew planning". Partial Evaluation and Semantics-Based Program Manipulation, PEPM97. June 1997. 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.
  • Charles Consel and Olivier Danvy. "Partial Evaluation in Parallel". Lisp and Symbolic Computation. Volume 5. Issue 4. 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.
  • 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.

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