Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation - Archive ouverte HAL
Journal Articles Foundations and Trends in Programming Languages Year : 2017

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

Antoine Miné
Algorithmes, Programmes et Résolution

Domains

Programming Languages [cs.PL] Performance [cs.PF]
Fichier principal
Vignette du fichier
hal.pdf (1.44 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Antoine Miné  : Connect in order to contact the contributor

https://hal.sorbonne-universite.fr/hal-01657536

Submitted on : Tuesday, May 1, 2018-11:35:16 PM

Last modification on : Tuesday, April 11, 2023-3:16:28 PM

Long-term archiving on : Tuesday, September 25, 2018-6:47:45 PM

Download

Dates and versions

hal-01657536 , version 1 (01-05-2018)

Identifiers

Cite

Antoine Miné. Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation. Foundations and Trends in Programming Languages, 2017, 4 (3-4), pp.120-372. ⟨10.1561/2500000034⟩. ⟨hal-01657536⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UPMC CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES
869 View
4384 Download

Altmetric

Share

More