Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13

Roberto Giacobazzi 1 Radhia Cousot 2, 3, *
* Auteur correspondant
2 ABSTRACTION - Abstract Interpretation and Static Analysis
CNRS - Centre National de la Recherche Scientifique : UMR 8548, Inria Paris-Rocquencourt, DI-ENS - Département d'informatique de l'École normale supérieure
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Roberto Giacobazzi and Radhia Cousot. ACM, pp.574, 2013, 978-1-4503-2544-8
Liste complète des métadonnées

https://hal.inria.fr/hal-00930257
Contributeur : Jérôme Feret <>
Soumis le : mardi 14 janvier 2014 - 15:22:07
Dernière modification le : vendredi 25 mai 2018 - 12:02:05

Identifiants

  • HAL Id : hal-00930257, version 1

Collections

Citation

Roberto Giacobazzi, Radhia Cousot. Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13. Roberto Giacobazzi and Radhia Cousot. ACM, pp.574, 2013, 978-1-4503-2544-8. 〈hal-00930257〉

Partager

Métriques

Consultations de la notice

174