Abstract interpretation meets convex optimization

Stéphane Gaubert 1, 2 T.M. Gawlitza H. Seidl A. Adjé E. Goubault
2 MAXPLUS - Max-plus algebras and mathematics of decision
CMAP - Centre de Mathématiques Appliquées - Ecole Polytechnique, Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR
Type de document :
Article dans une revue
J. Symbolic Comput., e, 2012, 47 (12), pp.1416--1446. 〈10.1016/j.jsc.2011.12.048〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00778070
Contributeur : Canimogy Cogoulane <>
Soumis le : vendredi 18 janvier 2013 - 16:13:40
Dernière modification le : jeudi 11 janvier 2018 - 01:51:33

Identifiants

Collections

Citation

Stéphane Gaubert, T.M. Gawlitza, H. Seidl, A. Adjé, E. Goubault. Abstract interpretation meets convex optimization. J. Symbolic Comput., e, 2012, 47 (12), pp.1416--1446. 〈10.1016/j.jsc.2011.12.048〉. 〈hal-00778070〉

Partager

Métriques

Consultations de la notice

132