Readscheme.org
Partial Evaluation Bibliography Home
Bibliography
Implementations
Past Events
Journal Special Issues
Implementations

Implementations of Partial Evaluation

Partial Evaluators for Scheme

  • PGG: An offline partial evaluator for full Scheme. Developed by Peter Thiemann.
  • Schism: An offline partial evaluator for pure Scheme; developed by Charles Consel and the COMPOSE project.
  • Similix: An offline partial evaluator for a large subset of Scheme. Developed by the TOPPS group at University of Copenhagen.
  • POPE: An online partial evaluator developed by Peter Řrbćk. Supports side effects and mutable data.

Partial Evaluators for C

  • Tempo: developed by the COMPOSE Project
  • C-Mix: developed by the TOPPS group at the University of Copenhagen

Partial Evaluators for Java

  • JSpec: an offline partial evaluator for Java; developed by the COMPOSE Project
  • JSCC: A Java Specialization Classes Compiler; developed by the COMPOSE Project

Partial Evaluators for ML

  • SML-mix: TOPPS group at the University of Copenhagen
  • MLOPE: developed by Simon Helsen and Peter Thiemann

Partial Evaluators for Prolog

  • Logen: an offline partial evaluator for Prolog. Developed by Michael Leuschel, Jesper Joergensen and Stephen-John Craig.
  • Ecce: The Partial Deduction System. Ecce is an online partial evaluator for pure Prolog programs. Maintained by Michael Leuschel.
  • Mixtus: an automatic partial evaluator for full Prolog. Developed by Dan Sahlin.
  • ProMiX: a partial evaluator for Prolog, developed by Arun Lakhotia and Leon Sterling

Partial Evaluators for Goedel

  • SAGE: A Self-Applicable Partial Evaluator for the Logic Programming Language Gödel, written by Corin Gurr

Partial Evaluators for Curry

Prototypes and Other Code

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