State Of the Art in Program Analysis - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2016

State Of the Art in Program Analysis

Charles Zhang
  • Function : Scientific advisor
Hong Kong University of Science and Technology
Xavier Rival
Analyse Statique par Interprétation Abstraite

Domains

Computer Science [cs]

Nathalie Gaudechoux  : Connect in order to contact the contributor

https://inria.hal.science/hal-01388271

Submitted on : Wednesday, October 26, 2016-4:44:01 PM

Last modification on : Friday, April 19, 2024-4:18:58 PM

No file

Dates and versions

hal-01388271 , version 1 (26-10-2016)

Identifiers

Cite

Charles Zhang, Xavier Rival (Dir.). 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} . ACM, 2016, 978-1-4503-4385-5. ⟨10.1145/2931021⟩. ⟨hal-01388271⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-PARIS CNRS INRIA INRIA2 PSL
94 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More