Systematic Approaches for Increasing Soundness and Precision of Static Analyzers

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

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
Publication statusPublished - 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