IDA Dept. of Computer and Information science, Linköping University

IDA Technical Reports: abstract

Generated: Fri, 25 Apr 2014 08:30:27

Nilsson, U. (1988). Systematic Construction of Domains for Abstract Interpretation Frameworks. Technical Report LiTH-IDA-R-88-45, Department of Computer and Information Science, Linköping University, Sweden. (bibtex),

Abstract: The paper addresses two issues --- initially sufficient conditions which ensure termination and correctness of abstract interpretations are formulated. Secondly we show how simple abstract domains which satisfy these conditions may be composed into more powerful and complex abstract domains which also satisfy the proposed requirements. We demonstrate the technique by constructing an abstract domain suitable for inferring (1) whether two variables are bound to terms with shared variables (2) whether a variable is bound to a ground term and (3) whether a variable is unbound or bound to another variable.


Goto (at Linköping University): CS Dept TR Overview
<webmaster@ida.liu.se>