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
DI-ENS - Département d'informatique - ENS Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.inria.fr/hal-00930257
Contributor : Jérôme Feret Connect in order to contact the contributor
Submitted on : Tuesday, January 14, 2014 - 3:22:07 PM
Last modification on : Monday, March 21, 2022 - 5:22:04 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

85