Abstract domains for constraint programming with differential equations - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Abstract domains for constraint programming with differential equations

Fichier non déposé

Dates et versions

hal-03068260 , version 1 (15-12-2020)

Identifiants

Citer

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⟩
63 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More