## 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- INDY: the "Integrated Narrowing-Driven" specialization system. A partial evaluator for functional logic programs.
- Curry Partial Evaluator: purely declarative partial evaluator for the multi-paradigm language Curry. Developed by Elvira Albert, Germán Vidal, and Michael Hanus.
- Cost-Augmented Partial Evaluator (for Curry programs): Extends the original Curry partial evaluator.
- Forward Slicing Tool for Curry: Developed by German Vidal.
## Prototypes and Other Code- Toy Partial Evaluator for Scheme: Developed by Marc Feeley; code from the Scheme Repository
- Code from the book "Partial Evaluation and Automatic Program Generation": Includes the partial evaluator for a first-order Scheme subset and a flowchart language partial evaluator written in Prolog.
- Termination Analyser for PGG: Developed by Arne Glenstrup
- Type Specialization: John Hughes' prototype
- Principal Type Specialization: Alejandro Russo's prototype
- MiXIMUM: A "Jones-optimal" type specializer a strongly-typed toy language developed by Henning Makholm
- Type-Directed Partial Evaluation code: Code in ML from the Olivier Danvy's course at the Partial Evaluation 1998 Summer School
- Type-Directed Partial Evaluation for the types lambda-calculus with strong binary sums: Implementation associated with Vincent Balat's POPL'04 paper
- Mini-Haskell Partial Evaluator: Developed by John Hughes, Chalmers
- A small Partial Evaluator written in Haskell: Developed Doaitse Swierstra and Arjan van IJzendoorn, at Utrecht
- Essence: An LR parser generator for Scheme. Developed by Peter Thiemann and Mike Sperber, using PGG.
Last modified: Monday, February 16th, 2009 6:22:13pm HTML generated using WebIt!. |