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

TOTAL DOCUMENTS

4
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By ACM

9781450381871
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Numeric domains meet algebraic data types

2020 ◽  
Author(s):  
Santiago Bautista ◽  
Thomas Jensen ◽  
Benoît Montagu
Keyword(s):  
Data Types ◽  
Algebraic Data Types

Abstract domains for constraint programming with differential equations

2020 ◽  
Author(s):  
Ghiles Ziat ◽  
Olivier Mullier ◽  
Julien Alexandre dit Sandretto ◽  
Christophe Garion ◽  
Alexandre Chapoutot ◽  
...  
Keyword(s):  
Differential Equations ◽  
Constraint Programming ◽  
Abstract Domains
Load More ...
Sign in / Sign up

Export Citation Format

Share Document