Abstract domains for constraint programming with differential equations - ENSTA Paris - École nationale supérieure de techniques avancées Paris
Communication Dans Un Congrès Année : 2020

Abstract domains for constraint programming with differential equations

Domaines

Modélisation et simulation Algorithme et structure de données [cs.DS]

Alexandre Chapoutot  : Connectez-vous pour contacter le contributeur

https://ensta-paris.hal.science/hal-03068260

Soumis le : mardi 15 décembre 2020-15:51:30

Dernière modification le : jeudi 14 novembre 2024-16:40:19

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENSTA ENSTA_U2IS TDS-MACS IP_PARIS ISAE-SUPAERO
77 Consultations
0 Téléchargements

Altmetric

Partager

More