Systematic Approaches for Increasing Soundness and Precision of Static Analyzers

Research output: Contribution to book/anthology/report/proceedingArticle in proceedings

Documents

  • 10,1

    Accepted manuscript, 969 KB, PDF-document

DOI

Original languageEnglish
Title of host publicationProceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
Editors Karim Ali , Cristina Cifuentes
Number of pages6
Place of publicationNew York, NY, USA
PublisherAssociation for Computing Machinery
Publication year18 Jun 2017
Pages31-36
ISBN (print)978-1-4503-5072-3
DOIs
StatePublished - 18 Jun 2017
EventACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017) - Universitat Polytècnica de Catalunya in Barcelona, Spain, Barcelona, Spain
Duration: 18 Jun 201723 Jun 2017
Conference number: 6
https://conf.researchr.org/home/pldi-2017

Conference

ConferenceACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017)
Nummer6
LocationUniversitat Polytècnica de Catalunya in Barcelona, Spain
LandSpain
ByBarcelona
Periode18/06/201723/06/2017
Internetadresse
SeriesSOAP 2017

See relations at Aarhus University Citationformats

Download statistics

No data available

ID: 120076433