Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains
Latest Publications

TOTAL DOCUMENTS

4

(FIVE YEARS 4)

H-INDEX

0

(FIVE YEARS 0)

Published By ACM

9781450381871

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Numeric domains meet algebraic data types

Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains ◽

10.1145/3427762.3430178 ◽

2020 ◽

Author(s):

Santiago Bautista ◽

Thomas Jensen ◽

Benoît Montagu

Keyword(s):

Algebraic Data Types

Download Full-text

Abstract domains in SMT solving for real algebra (invited talk)

Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains ◽

10.1145/3427762.3430180 ◽

2020 ◽

Author(s):

Erika Abraham

Keyword(s):

Smt Solving ◽

Real Algebra ◽

Abstract Domains

Download Full-text

Abstract domains for constraint programming with differential equations

Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains ◽

10.1145/3427762.3429453 ◽

2020 ◽

Author(s):

Ghiles Ziat ◽

Olivier Mullier ◽

Julien Alexandre dit Sandretto ◽

Christophe Garion ◽

Alexandre Chapoutot ◽

...

Keyword(s):

Differential Equations ◽

Constraint Programming ◽

Abstract Domains

Download Full-text

Proving array properties using data abstraction

Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains ◽

10.1145/3427762.3430179 ◽

2020 ◽

Author(s):

Julien Braine ◽

Laure Gonnord

Keyword(s):

Data Abstraction ◽

Download Full-text