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.