Article Dans Une Revue Foundations and Trends in Programming Languages Année : 2017

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

Fichier principal
Vignette du fichier
hal.pdf (1.44 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

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

Licence

Identifiants

Citer

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⟩
1134 Consultations
5754 Téléchargements

Altmetric

Partager

  • More