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

State Of the Art in Program Analysis: International Workshop, (SOAP 2016), SOAP@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016Proceedings of the 5th {ACM} {SIGPLAN}

Charles Zhang 1 Xavier Rival 2
2 ANTIQUE - Analyse Statique par Interprétation Abstraite
DI-ENS - Département d'informatique de l'École normale supérieure, Inria de Paris
Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.inria.fr/hal-01388271
Contributor : Nathalie Gaudechoux <>
Submitted on : Wednesday, October 26, 2016 - 4:44:01 PM
Last modification on : Tuesday, May 4, 2021 - 2:06:02 PM

Identifiers

Collections

Citation

Charles Zhang, Xavier Rival. State Of the Art in Program Analysis: International Workshop, (SOAP 2016), SOAP@PLDI 2016, Santa Barbara, CA, USA, June 14, 2016Proceedings of the 5th {ACM} {SIGPLAN} . Jun 2016, Santa Barbara, United States. ACM, 2016, 978-1-4503-4385-5. ⟨10.1145/2931021⟩. ⟨hal-01388271⟩

Share

Metrics

Record views

210