Bounds checking: an instance of hybrid analysis

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

11 Citations (Scopus)
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 201413 Jun 2014

Conference

ConferenceACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming 2014
Country/TerritoryUnited Kingdom
CityEdinburgh
Period12/06/201413/06/2014

Cite this