The Program Generator Generator PGG
The PGG system is a partial evaluation system for the programming
language Scheme. It implements
program specialization in the following sense: Given a program p and
a specification which of the inputs are known in advance, PGG
constructs a program generator which accepts the known
inputs of p and outputs a specialized version of p.
PGG is fully automatic and can process all valid Scheme programs.
The Program
Version 1.4,
Version 1.3,
Version 1.1,
Version 1.0
Last modified: Wed Jan 7 17:51:40 MET 2009