PGG 1.4 partial-evaluation system available
Michael Sperber <[email protected]>
| Newsgroups | gmane.lisp.scheme.scheme48 |
|---|---|
| Message-ID | <[email protected]> |
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. PGG runs on Scheme 48. The 1.4 release is incremental over 1.3; it mainly brings PGG in line with the current version of Scheme 48. PGG is available from: http://www.informatik.uni-freiburg.de/proglang/software/pgg/ Enjoy! Peter Thiemann Mike Sperber