TY  - RPRT
TI  - Formal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications
AU  - Chris Hathhorn
AU  - Michela Becchi
AU  - William L. Harrison
AU  - Adam Procter
PY  - 2012
DO  - 10.4204/eptcs.102.11
UR  - https://arxiv.org/abs/1211.6193
ID  - 1211.6193
ER  -