An Offline Partial Evaluator for Evolving Algebras

Abstract

We describe the architecture of an evolving algebra partial evaluator, a program which specializes an evolving algebra with respect to a portion of its input. We discuss the particular analysis, specialization, and optimization techniques used and show an example of its use.

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

References in corpus (2)

• Evolving Algebras 1993: Lipari Guide
• Evolving Algebras and Partial Evaluation