Evolving Algebras and Partial Evaluation
<|reference_start|>Evolving Algebras and Partial Evaluation: We describe an automated partial evaluator for evolving algebras implemented at the University of Michigan.<|reference_end|>
@article{gurevich1998evolving,
    title={Evolving Algebras and Partial Evaluation},
    author={Yuri Gurevich and James K. Huggins},
    journal={In IFIP 13th World Computer Congress 1994, Volume I: Technology
  and Foundations, eds. B. Pehrson and I. Simon, North-Holland, Amsterdam,
  587-592},
    year={1998},
    archivePrefix={arXiv},
    eprint={cs/9810024},
    primaryClass={cs.SE}
}