Numeric Domains Meet Algebraic Data Types - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2020

Numeric Domains Meet Algebraic Data Types


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.
Fichier principal
Vignette du fichier
nsad2020_NPRs.pdf (597.68 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03028476 , version 1 (27-11-2020)



Santiago Bautista, Thomas Jensen, Benoît Montagu. Numeric Domains Meet Algebraic Data Types. NSAD 2020 - 9th International Workshop on Numerical and Symbolic Abstract Domains, Nov 2020, Virtual, United States. pp.12-16, ⟨10.1145/3427762.3430178⟩. ⟨hal-03028476⟩
147 View
188 Download



Gmail Facebook X LinkedIn More