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

The Manual (PDF)

The Manual (postscript)

The Manual (HTML)

PGG sources on Github