Static analysis by abstract interpretation [1] aims at automatically inferring properties on the behaviour of programs. We focus here on a specific kind of numerical invariants: the set of values taken by numerical variables, with a real numbers semantics, at each control point of a program. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Ghorbal, K., Goubault, E., & Putot, S. (2009). The zonotope abstract domain taylor1+. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5643 LNCS, pp. 627–633). https://doi.org/10.1007/978-3-642-02658-4_47
Mendeley helps you to discover research relevant for your work.