Evolving Algebras and Partial Evaluation

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/

References in corpus (1)

• Evolving Algebras 1993: Lipari Guide

Cited by in corpus (2)

• Abstract State Machines 1988-1998: Commented ASM Bibliography
• An Offline Partial Evaluator for Evolving Algebras