An Offline Partial Evaluator for Evolving Algebras
Software Engineering
2016-08-31 v1
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.
Keywords
Cite
@article{arxiv.cs/9810025,
title = {An Offline Partial Evaluator for Evolving Algebras},
author = {James K. Huggins},
journal= {arXiv preprint arXiv:cs/9810025},
year = {2016}
}
Comments
See also the web site at http://www.eecs.umich.edu/gasm/