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. p. 88-94.
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Henriksen, T & Oancea, CE 2014,
Bounds checking: an instance of hybrid analysis. in
Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming . Association for Computing Machinery, pp. 88-94, ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming 2014, Edinburgh, United Kingdom,
12/06/2014.
https://doi.org/10.1145/2627373.2627388
APA
Henriksen, T., & Oancea, C. E. (2014).
Bounds checking: an instance of hybrid analysis. In
Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming (pp. 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. In Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming . Association for Computing Machinery. 2014. p. 88-94
https://doi.org/10.1145/2627373.2627388
Author
Henriksen, Troels ; Oancea, Cosmin Eugen. / Bounds checking : an instance of hybrid analysis. Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming . Association for Computing Machinery, 2014. pp. 88-94
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 -