Flavors of abstract interpretation - Archive ouverte HAL
Cours Année : 2024

Flavors of abstract interpretation

David Monniaux

Mots clés

Fichier principal
Vignette du fichier
ETAPS_2024_flavors.pdf (179.19 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04750222 , version 1 (23-10-2024)

Identifiants

  • HAL Id : hal-04750222 , version 1

Citer

David Monniaux. Flavors of abstract interpretation. École thématique. European joint conferences on theory and practice of software - Invited tutorial, Luxembourg, Luxembourg. 2024. ⟨hal-04750222⟩
0 Consultations
0 Téléchargements

Partager

More