SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Tue 17 Nov 2020 03:20 - 03:40 at SPLASH-IV - Papers Chair(s): Liqian Chen, Khalil Ghorbal

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.

Tue 17 Nov

Displayed time zone: Central Time (US & Canada) change

03:00 - 04:20
PapersNSAD at SPLASH-IV
Chair(s): Liqian Chen National University of Defense Technology, China, Khalil Ghorbal Inria, France
03:00
20m
Paper
Abstract Domains for Constraint Programming with Differential Equations
NSAD
03:20
20m
Paper
Numeric Domains Meet Algebraic Data Types
NSAD
Santiago Bautista Univ Rennes, ENS Rennes, Inria, IRISA, Thomas P. Jensen INRIA Rennes, Benoît Montagu Inria
03:40
20m
Paper
Proving array properties using data abstraction
NSAD
Julien Braine , Laure Gonnord University of Lyon & LIP, France
04:00
20m
Paper
Rigorous Linear Programming Techniques for Numerical Abstract Domains
NSAD
Tengbin Wang , Liqian Chen National University of Defense Technology, China, Ji Wang