Equations as a uniform framework for partial evaluation and abstract interpretation (1998)

by J Field, J Heering, T B Dinesh
Venue:Electronic supplement: 1998 Symposium on Partial Evaluation (SOPE ’98