Skip to Main content Skip to Navigation
Directions of work or proceedings

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

Roberto Giacobazzi 1 Radhia Cousot 2, 3, *
* Corresponding author
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
Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.inria.fr/hal-00930257
Contributor : Jérôme Feret <>
Submitted on : Tuesday, January 14, 2014 - 3:22:07 PM
Last modification on : Thursday, July 1, 2021 - 5:58:03 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

235