The octagon abstract domain for continuous constraints - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Constraints Année : 2014

The octagon abstract domain for continuous constraints

Fichier non déposé

Dates et versions

hal-01147912 , version 1 (03-05-2015)

Identifiants

Citer

Marie Pelleau, Charlotte Truchet, Frédéric Benhamou. The octagon abstract domain for continuous constraints. Constraints, 2014, 19 (3), pp.309--337. ⟨10.1007/s10601-014-9162-x⟩. ⟨hal-01147912⟩
74 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More