A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers
[chapter]
2014
Lecture Notes in Computer Science
This paper introduces QUICr, an abstract domain combinator library that lifts any domain for numbers into an efficient domain for numbers and sets of numbers. As a library, it is useful for inferring relational data invariants in programs that manipulate data structures. As a testbed, it allows easy extension of widening and join heuristics, enabling adaptations to new and varied applications. In this paper we present the architecture of the library, guidelines on how to select heuristics, and
doi:10.1007/978-3-319-08867-9_57
fatcat:2crmdxtazrg2zm4y7yxtghsbm4