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

Tutorials and Surveys

  • Neil D. Jones, Carsten K. Gomard and Peter Sestoft. "Partial Evaluation and Automatic Program Generation". 1993. Available online: ps pdf book website. Citation.
  • Torben Æ. Mogensen and Peter Sestoft. "Partial Evaluation". Encyclopedia of Computer Science and Technology. 1997. Available online: ps pdf. Citation.
  • Charles Consel and Olivier Danvy. "Tutorial Notes on Partial Evaluation". Principles of Programming Languages (POPL'93). January 1993. Available online: ps. Citation.
  • Charles Consel and Olivier Danvy. "Partial Evaluation: Principles and Perspectives". Journees Francophones des Langages Applicatifs. February 1993. Available online: ps. Citation.
  • Robert Glück and Neil D. Jones. "Automatic program specialization by partial evaluation: an introduction". Software Engineering in Scientific Computing. 1996. Available online: ps. Citation.
  • John Hatcliff. "Foundations of Partial Evaluation and Program Specialization". Kansas State University. March 1999. Available online: course notes. Citation.
  • 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.
  • Neil D. Jones. "An Introduction to Partial Evaluation". ACM Computing Surveys. Vol. 28. No. 3. September 1996. Available online: ps. Citation.
  • Neil D. Jones. "MIX Ten Years Later". Partial Evaluation and Program Manipulation (PEPM '95). 1995. Available online: ps. Citation.
  • Torben Æ. Mogensen. "Partial evaluation: concepts and applications". Partial Evaluation: Practice and Theory (1998 DIKU International Summerschool). 1998. 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.
  • Torben Æ. Mogensen and Carsten K. Holst. "Terminology". Partial Evaluation and Mixed Computation. 1988. Citation.
  • Torben Æ. Mogensen. "Glossary for Partial Evaluation and Related Topics". Higher-Order and Symbolic Computation. 13(4). December 2000. Available online: 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.
  • 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.

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