Abstract Interpretation: a Semantics-Based Tool for Program Analysis Abstract Interpretation aSemantics Based Tool for ProgramAnalysisNeil D JonesDIKU University of Cop enhagen DenmarkFlemming NielsonComputer Science Department Aarhus University DenmarkJune Contents