Skip to Main content Skip to Navigation
Journal articles

Abstract interpretation meets convex optimization

Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-00778070
Contributor : Canimogy Cogoulane Connect in order to contact the contributor
Submitted on : Friday, January 18, 2013 - 4:13:40 PM
Last modification on : Thursday, February 17, 2022 - 10:08:04 AM

Links full text

Identifiers

Collections

Citation

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

Share

Metrics

Record views

159