A Calculational Approach to Control-Flow Analysis by Abstract Interpretation.

Jan Midtgaard, Thomas P. Jensen

Browse the full SAS paper archive.