Bounds checking: an instance of hybrid analysis

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

OriginalsprogEngelsk
TitelProceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
Antal sider7
ForlagAssociation for Computing Machinery
Publikationsdato2014
Sider88-94
ISBN (Trykt)978-1-4503-2937-8
DOI
StatusUdgivet - 2014
BegivenhedACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming 2014 - Edinburgh, Storbritannien
Varighed: 12 jun. 201413 jun. 2014

Konference

KonferenceACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming 2014
LandStorbritannien
ByEdinburgh
Periode12/06/201413/06/2014

ID: 137627405