Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation

G. Janssen, Maurice Bruynooghe. Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation. Journal of Logic and Algebraic Programming, 13(2&3):205-258, 1992.

Abstract

Abstract is missing.