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

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

Antoine Miné
Fichier principal
Vignette du fichier
hal.pdf (1.44 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

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⟩
799 View
3943 Download

Altmetric

Share

Gmail Facebook X LinkedIn More