Abstract interpretation meets convex optimization - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Journal of Symbolic Computation Année : 2012

Abstract interpretation meets convex optimization

Domaines

Optimisation et contrôle [math.OC]

Canimogy Cogoulane  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00778070

Soumis le : vendredi 18 janvier 2013-16:13:40

Dernière modification le : samedi 16 novembre 2024-12:16:02

Consulter le texte intégral

Dates et versions

hal-00778070 , version 1 (18-01-2013)

Identifiants

Citer

Stéphane Gaubert, T.M. Gawlitza, H. Seidl, A. Adjé, E. Goubault. Abstract interpretation meets convex optimization. Journal of Symbolic Computation, 2012, International Workshop on Invariant Generation, 47 (12), pp.1416-1446. ⟨10.1016/j.jsc.2011.12.048⟩. ⟨hal-00778070⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CEA X UGA IMAG CNRS INRIA LIX INSMI X-CMAP X-LIX X-DEP-INFO X-DEP-MATHA CMAP VERIMAG DRT INRIA2 TDS-MACS LIST GS-SPORT-HUMAN-MOVEMENT
184 Consultations
0 Téléchargements

Altmetric

Partager

More