{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:21:22Z","timestamp":1750306882112,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,3,16]],"date-time":"2013-03-16T00:00:00Z","timestamp":1363392000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,3,16]]},"DOI":"10.1145\/2458523.2458527","type":"proceedings-article","created":{"date-parts":[[2013,4,1]],"date-time":"2013-04-01T19:39:39Z","timestamp":1364845179000},"page":"32-41","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Formalizing address spaces with application to Cuda, OpenCL, and beyond"],"prefix":"10.1145","author":[{"given":"Benedict R.","family":"Gaster","sequence":"first","affiliation":[{"name":"Advanced Micro Devices, Sunnyvale, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lee","family":"Howes","sequence":"additional","affiliation":[{"name":"Advanced Micro Devices, Sunnyvale, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,3,16]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Advanced Micro Devices (AMD). HSA Programmer's Reference Manual. http:\/\/developer.amd.com 2012.  Advanced Micro Devices (AMD). HSA Programmer's Reference Manual. http:\/\/developer.amd.com 2012."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90055-7"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99392"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301665"},{"volume-title":"University of Nottingham","year":"1998","author":"Gaster B. R.","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2012.257"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2458523.2458532"},{"key":"e_1_3_2_1_10_1","first-page":"29","article-title":"The principal type-scheme of an object in combinatory logic","volume":"146","author":"Hindley R.","year":"1969","journal-title":"Trans. Amer. Math. Soc"},{"key":"e_1_3_2_1_11_1","unstructured":"ISO\/IEC. Progrmming languages C++. ISO\/IEC 14882:2011(E) 2011.  ISO\/IEC. Progrmming languages C++. ISO\/IEC 14882:2011(E) 2011."},{"key":"e_1_3_2_1_12_1","first-page":"18037","article-title":"Progrmming languages Embedded C","year":"2011","journal-title":"ISO\/IEC DTR"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/145055.145097"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165190"},{"volume-title":"In Workshop on the Formal Underpinnings of the Java Paradigm","year":"1998","author":"Jones M. P.","key":"e_1_3_2_1_15_1"},{"key":"e_1_3_2_1_16_1","unstructured":"S. P. Jones editor. Haskell 98 Language and Libraries: The Revised Report. http:\/\/haskell.org\/ September 2002.  S. P. Jones editor. Haskell 98 Language and Libraries: The Revised Report . http:\/\/haskell.org\/ September 2002."},{"volume-title":"High Performance Graphics Conference, Hot3D","year":"2011","author":"Mantor M.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863596"},{"volume-title":"Whitepaper","year":"2010","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","unstructured":"NVIDIA Corporation. NVIDIA CUDA programming guide version 4.2 2012.  NVIDIA Corporation. NVIDIA CUDA programming guide version 4.2 2012."},{"volume-title":"Khronos","year":"2011","author":"OpenCL Working Group","key":"e_1_3_2_1_22_1"},{"key":"e_1_3_2_1_23_1","unstructured":"OpenCL Working Group. private communication 2012.  OpenCL Working Group. private communication 2012."},{"key":"e_1_3_2_1_24_1","unstructured":"D. R\u00e9my. Type inference for records in a natural extension of ml. Theoretical Aspects of Object-Oriented Programming: Types Semantics and Language Design 1994.   D. R\u00e9my. Type inference for records in a natural extension of ml. Theoretical Aspects of Object-Oriented Programming: Types Semantics and Language Design 1994."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"volume-title":"AMD Fusion developer summit","year":"2012","author":"Rubin N.","key":"e_1_3_2_1_26_1"}],"event":{"name":"GPGPU-6: Sixth Workshop on General Purpose Processing Using GPUs","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture"],"location":"Houston Texas USA","acronym":"GPGPU-6"},"container-title":["Proceedings of the 6th Workshop on General Purpose Processor Using Graphics Processing Units"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2458523.2458527","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2458523.2458527","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:37Z","timestamp":1750234717000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2458523.2458527"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,16]]},"references-count":25,"alternative-id":["10.1145\/2458523.2458527","10.1145\/2458523"],"URL":"https:\/\/doi.org\/10.1145\/2458523.2458527","relation":{},"subject":[],"published":{"date-parts":[[2013,3,16]]},"assertion":[{"value":"2013-03-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}