An Offline Partial Evaluator for Evolving Algebras
<|reference_start|>An Offline Partial Evaluator for Evolving Algebras: 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.<|reference_end|>
@article{huggins1998an,
    title={An Offline Partial Evaluator for Evolving Algebras},
    author={James K. Huggins},
    journal={arXiv preprint arXiv:cs/9810025},
    year={1998},
    number={University of Michigan EECS Department Technical Report
  CSE-TR-229-95},
    archivePrefix={arXiv},
    eprint={cs/9810025},
    primaryClass={cs.SE}
}