 |
Conference papers
Numeric Domains Meet Algebraic Data Types
Abstract : We report on the design and formalization of a novel abstract domain, called numeric path relations (NPRs), that combines numeric relational domains with algebraic data types. This domain expresses relations between algebraic values that can contain scalar data. The construction of the domain is parameterized by the choice of a relational domain on scalar values. The construction employs projection paths on algebraic values, and in particular projections on variant cases, whose sound treatment is subtle due to mutual exclusiveness.
https://hal.inria.fr/hal-03028476
Contributor : Benoît Montagu <>
Submitted on : Friday, November 27, 2020 - 3:58:26 PM
Last modification on : Thursday, January 7, 2021 - 4:31:59 PM
Contributor : Benoît Montagu <>
Submitted on : Friday, November 27, 2020 - 3:58:26 PM
Last modification on : Thursday, January 7, 2021 - 4:31:59 PM
File
nsad2020_NPRs.pdf
Files produced by the author(s)