Powered by
9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2020), November 17, 2020,
Virtual, USA
9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2020)
Frontmatter
Invited Talk
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)
@InProceedings{NSAD20p2,
author = {Ghiles Ziat and Olivier Mullier and Julien Alexandre dit Sandretto and Christophe Garion and Alexandre Chapoutot and Xavier Thirioux},
title = {Abstract Domains for Constraint Programming with Differential Equations},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {2-1},
doi = {10.1145/3427762.3429453},
year = {2020},
}
Publisher's Version
Numeric Domains Meet Algebraic Data Types
Santiago Bautista,
Thomas Jensen, and
Benoît Montagu
(ENS Rennes, France; Inria, France)
@InProceedings{NSAD20p12,
author = {Santiago Bautista and Thomas Jensen and Benoît Montagu},
title = {Numeric Domains Meet Algebraic Data Types},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {12-11},
doi = {10.1145/3427762.3430178},
year = {2020},
}
Publisher's Version
Proving Array Properties using Data Abstraction
Julien Braine and
Laure Gonnord
(University of Lyon, France; CNRS, France; Inria, France; LIP, France)
@InProceedings{NSAD20p17,
author = {Julien Braine and Laure Gonnord},
title = {Proving Array Properties using Data Abstraction},
booktitle = {Proc.\ NSAD},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3427762.3430179},
year = {2020},
}
Publisher's Version
proc time: 1.69