Automatic Modular Abstractions for Template Numerical Constraints

@article{Monniaux2009AutomaticMA,
  title={Automatic Modular Abstractions for Template Numerical Constraints},
  author={David Monniaux},
  journal={Logical Methods in Computer Science},
  year={2009},
  volume={6}
}
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