Automatic Modular Abstractions for Template Numerical Constraints

  title={Automatic Modular Abstractions for Template Numerical Constraints},
  author={David Monniaux},
  journal={Logical Methods in Computer Science},
We propose a method for automatically generating abstract transformers for static analysis by abstract interpretation. The method focuses on linear constraints on programs operating on rational, real or floating-point variables and containing linear assignments and tests. Given the specification of an abstract domain, and a program block, our method automatically outputs an implementation of the corresponding abstract transformer. It is thus a form of program transformation. In addition to loop… CONTINUE READING
Highly Cited
This paper has 41 citations. REVIEW CITATIONS