Bounds checking: an instance of hybrid analysis

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original languageEnglish
Title of host publicationProceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
Number of pages7
PublisherAssociation for Computing Machinery
Publication date2014
Pages88-94
ISBN (Print)978-1-4503-2937-8
DOIs
Publication statusPublished - 2014
EventACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming 2014 - Edinburgh, United Kingdom
Duration: 12 Jun 2014 → 13 Jun 2014

Conference

ConferenceACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming 2014
LandUnited Kingdom
ByEdinburgh
Periode12/06/2014 → 13/06/2014

ID: 137627405