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
Type de document :
Article dans une revue
Foundations and Trends in Programming Languages, Now Publishers, 2017, 4 (3-4), pp.120-372. 〈10.1561/2500000034〉
Liste complète des métadonnées

http://hal.upmc.fr/hal-01657536
Contributeur : Antoine Miné <>
Soumis le : mercredi 6 décembre 2017 - 18:59:23
Dernière modification le : jeudi 11 janvier 2018 - 06:26:46

Identifiants

Collections

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〉

Partager

Métriques

Consultations de la notice

38