Combining Constraint Languages via Abstract Interpretation - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année :

Combining Constraint Languages via Abstract Interpretation

, , (1) ,
1
Pierre Talbot
David Cachera
Charlotte Truchet
Fichier non déposé

Dates et versions

hal-02945596 , version 1 (22-09-2020)

Identifiants

Citer

Pierre Talbot, David Cachera, Eric Monfroy, Charlotte Truchet. Combining Constraint Languages via Abstract Interpretation. 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2019, Portland, France. pp.50-58, ⟨10.1109/ICTAI.2019.00016⟩. ⟨hal-02945596⟩
12 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook Twitter LinkedIn More