Equations as a uniform framework for partial evaluation and abstract interpretation
J. Field, J. Heering, T. B. Dinesh · ACM Computing Surveys · 1998
Interpretation J. Field IBM T. J. Watson Research Center P.O. Box 704, Yorktown Heights, NY 10598, USA J. Heering, T.B. Dinesh CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands ABSTRACT A variety of disparate methods have traditionally been used to define the execution semantics of programming languages, to describe partial evaluation, to formalize program analysis as abstract interpretation, and to implement each of these operations in practical systems. We argue here that equational logic can serve to unify each of these aspects of language manipulation. 1991 Computing Reviews Classification: D.3.4, F.3.2 Keywords and Phrases: equational logic, algebraic specification, program analysis, partial evaluation, abstract interpretation Note: Submitted to the SOPE'98, special issue of the ACM Computer Surveys. This research was supported in part by the Netherlands Organization for Scientific Research (NWO) under the Generic Tools for Program Analysis and Optimization p...