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

Littérature citée [125 références]  Voir  Masquer  Télécharger

https://hal.sorbonne-universite.fr/hal-01657536
Contributeur : Antoine Miné <>
Soumis le : mardi 1 mai 2018 - 23:35:16
Dernière modification le : jeudi 3 mai 2018 - 10:15:36

Fichier

hal.pdf
Fichiers produits par l'(les) auteur(s)

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

265

Téléchargements de fichiers

300