Home‎ > ‎

Abstract Interpretation

Abstract Interpretation is a fundamental theoretical framework for program analysis. We will present a tutorial of the basic concepts of the theory taking as case study an interval analysis for Java programs. We will also present some relational abstract domains that allow to infer numerical relations between variables of a program.

Vladimir Klebanov,
Jun 21, 2011, 12:15 AM