Bounds checking: an instance of hybrid analysis
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Standard
Bounds checking : an instance of hybrid analysis. / Henriksen, Troels; Oancea, Cosmin Eugen.
Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming . Association for Computing Machinery, 2014. s. 88-94.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Henriksen, T & Oancea, CE 2014, Bounds checking: an instance of hybrid analysis. i Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming . Association for Computing Machinery, s. 88-94, ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming 2014, Edinburgh, Storbritannien, 12/06/2014. https://doi.org/10.1145/2627373.2627388
APA
Henriksen, T., & Oancea, C. E. (2014). Bounds checking: an instance of hybrid analysis. I Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming (s. 88-94). Association for Computing Machinery. https://doi.org/10.1145/2627373.2627388
Vancouver
Henriksen T, Oancea CE. Bounds checking: an instance of hybrid analysis. I Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming . Association for Computing Machinery. 2014. s. 88-94 https://doi.org/10.1145/2627373.2627388
Author
Bibtex
@inproceedings{68b96754ead948a181dcf8d2093a7ef1,
title = "Bounds checking: an instance of hybrid analysis",
author = "Troels Henriksen and Oancea, {Cosmin Eugen}",
year = "2014",
doi = "10.1145/2627373.2627388",
language = "English",
isbn = "978-1-4503-2937-8",
pages = "88--94",
booktitle = "Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming",
publisher = "Association for Computing Machinery",
note = "null ; Conference date: 12-06-2014 Through 13-06-2014",
}
RIS
TY - GEN
T1 - Bounds checking
AU - Henriksen, Troels
AU - Oancea, Cosmin Eugen
PY - 2014
Y1 - 2014
U2 - 10.1145/2627373.2627388
DO - 10.1145/2627373.2627388
M3 - Article in proceedings
SN - 978-1-4503-2937-8
SP - 88
EP - 94
BT - Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
PB - Association for Computing Machinery
Y2 - 12 June 2014 through 13 June 2014
ER -
ID: 137627405