Equations as a Uniform Framework for Partial Evaluation and Abstract Interpretation

John Field, Jan Heering, T. B. Dinesh. Equations as a Uniform Framework for Partial Evaluation and Abstract Interpretation. ACM Computing Surveys, 30(3es):2, 1998. [doi]

Abstract

Abstract is missing.