Evolving Algebras and Partial Evaluation
- Yuri Gurevich ,
- James K. Huggins
IFIP 1994 World Computing Congress, Volume 1: Technology and Foundations |
Published by Elsevier, Amsterdam
The authors present an automated (and implemented) partial evaluator for sequential evolving algebras. (Evolving algebras have been later renamed abstract state machines.)