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.

Saved in:
Bibliographic Details
Main Author Huggins, James K
Format Journal Article
LanguageEnglish
Published 26.10.1998
Subjects
Computer Science - Software Engineering
Online AccessGet full text

Cover

More Information
Summary: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.
Bibliography:University of Michigan EECS Department Technical Report CSE-TR-229-95
DOI:10.48550/arxiv.cs/9810025