Skip to Main content Skip to Navigation
Conference papers

Abstract domains for constraint programming with differential equations

Complete list of metadata

https://hal-ensta-paris.archives-ouvertes.fr//hal-03068260
Contributor : Alexandre Chapoutot <>
Submitted on : Tuesday, December 15, 2020 - 3:51:30 PM
Last modification on : Wednesday, March 17, 2021 - 9:52:02 AM

Identifiers

Collections

Citation

Ghiles Ziat, Olivier Mullier, Julien Alexandre Dit Sandretto, Christophe Garion, Alexandre Chapoutot, et al.. Abstract domains for constraint programming with differential equations. NSAD 2020: Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, Nov 2020, Virtual USA, France. pp.2-11, ⟨10.1145/3427762.3429453⟩. ⟨hal-03068260⟩

Share

Metrics

Record views

35