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
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Jun 2016, Santa Barbara, United States. ACM, 2016, 978-1-4503-4385-5. 〈10.1145/2931021〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01388271
Contributeur : Nathalie Gaudechoux <>
Soumis le : mercredi 26 octobre 2016 - 16:44:01
Dernière modification le : jeudi 26 avril 2018 - 10:29:01

Identifiants

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〉

Partager

Métriques

Consultations de la notice

157