Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation - Archive ouverte HAL
Article Dans Une Revue Foundations and Trends in Programming Languages Année : 2017

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

Antoine Miné
Algorithmes, Programmes et Résolution

Domaines

Langage de programmation [cs.PL] Performance et fiabilité [cs.PF]
Fichier principal
Vignette du fichier
hal.pdf (1.44 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Antoine Miné  : Connectez-vous pour contacter le contributeur

https://hal.sorbonne-universite.fr/hal-01657536

Soumis le : mardi 1 mai 2018-23:35:16

Dernière modification le : mardi 11 avril 2023-15:16:28

Archivage à long terme le : mardi 25 septembre 2018-18:47:45

Télécharger pour visualiser

Dates et versions

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

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UPMC CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES
882 Consultations
4446 Téléchargements

Altmetric

Partager

More