Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

Antoine Miné 1
1 APR - Algorithmes, Programmes et Résolution
LIP6 - Laboratoire d'Informatique de Paris 6
Complete list of metadatas

Cited literature [119 references]  Display  Hide  Download

https://hal.sorbonne-universite.fr/hal-01657536
Contributor : Antoine Miné <>
Submitted on : Tuesday, May 1, 2018 - 11:35:16 PM
Last modification on : Thursday, March 21, 2019 - 2:19:35 PM
Long-term archiving on : Tuesday, September 25, 2018 - 6:47:45 PM

File

hal.pdf
Files produced by the author(s)

Identifiers

Citation

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

Share

Metrics

Record views

720

Files downloads

1196