SPLASH Workshops 2020
2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Workshops 2020)
Powered by
Conference Publishing Consulting
9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2020)
,
November 17, 2020
,
Virtual, USA
NSAD 2020 – Proceedings
Contents
-
Abstracts
-
Authors
9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2020)
Frontmatter
Title Page
Welcome from the Chairs
Invited Talk
Abstract Domains in SMT Solving for Real Algebra (Invited Talk)
Erika Abraham
(RWTH Aachen University, Germany)
Publisher's Version
Papers
Abstract Domains for Constraint Programming with Differential Equations
Ghiles Ziat, Olivier Mullier, Julien Alexandre dit Sandretto, Christophe Garion, Alexandre Chapoutot, and Xavier Thirioux
(ISAE-supaero, France; University of Toulouse, France; ENSTA Paris, France)
Publisher's Version
Numeric Domains Meet Algebraic Data Types
Santiago Bautista
, Thomas Jensen, and Benoît Montagu
(ENS Rennes, France; Inria, France)
Publisher's Version
Proving Array Properties using Data Abstraction
Julien Braine and
Laure Gonnord
(University of Lyon, France; CNRS, France; Inria, France; LIP, France)
Publisher's Version
Info
proc time: 1.67