paper

Evolving Algebras and Partial Evaluation

arXiv:cs/9810024

Abstract

We describe an automated partial evaluator for evolving algebras implemented at the University of Michigan.

See also the web site at http://www.eecs.umich.edu/gasm/