{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:27:29Z","timestamp":1750220849171,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,21]],"date-time":"2019-10-21T00:00:00Z","timestamp":1571616000000},"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":[[2019,10,21]]},"DOI":"10.1145\/3357390.3361021","type":"proceedings-article","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T18:52:21Z","timestamp":1570733541000},"page":"50-62","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A type system for data independence of loop iterations in a directive-based PGAS language"],"prefix":"10.1145","author":[{"given":"Tatsuya","family":"Abe","sequence":"first","affiliation":[{"name":"Chiba Institute of Technology, Japan"}]}],"member":"320","published-online":{"date-parts":[[2019,10,21]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"365","article-title":"Model Checking Stencil Computations Written in a Partitioned Global Address Space Language","author":"Abe Tatsuya","year":"2013","journal-title":"Proc. HIPS."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPPW.2012.8"},{"key":"e_1_3_2_1_3_1","first-page":"308","article-title":"Optimal Loop Parallelization","author":"Aike Alexander","year":"1988","journal-title":"Proc. of PLDI."},{"key":"e_1_3_2_1_4_1","unstructured":"Cray Inc. 2017. Chapel Language Specification Version 0.984.  Cray Inc. 2017. Chapel Language Specification Version 0.984 ."},{"key":"e_1_3_2_1_5_1","first-page":"836","article-title":"DOACROSS","author":"Cytron Ron","year":"1986","journal-title":"Beyond Vectorization for Multiprocessors. In Proc. ICPP."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-016-0426-5"},{"key":"e_1_3_2_1_7_1","unstructured":"Ryutaro Himeno. 2001. The Himeno Benchmark. http:\/\/i.riken.jp\/en\/supercom\/documents\/himenobmt\/.  Ryutaro Himeno. 2001. The Himeno Benchmark. http:\/\/i.riken.jp\/en\/supercom\/documents\/himenobmt\/."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(08)60706-8"},{"key":"e_1_3_2_1_9_1","unstructured":"ISO\/IEC 1539-1:2010. 2010. Information Technology - Programming Languages - Fortran.  ISO\/IEC 1539-1:2010. 2010. Information Technology - Programming Languages - Fortran ."},{"key":"e_1_3_2_1_10_1","first-page":"135","article-title":"Pregel: a system for large-scale graph processing","author":"Malewicz Grzegorz","year":"2010","journal-title":"Proc. SIGMOD."},{"key":"e_1_3_2_1_11_1","first-page":"142","article-title":"An Efficient Implementation of Stencil Communication for the XcalableMP PGAS Parallel Programming Language","author":"Murai Hitoshi","year":"2013","journal-title":"Proc. PGAS."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2015.05.315"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00268134"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2063384.2063452"},{"key":"e_1_3_2_1_16_1","first-page":"1","article-title":"14.9 TFLOPS Three-dimensional Fluid Simulation for Fusion Science with HPF on the Earth Simulator","author":"Sakagami Hitoshi","year":"2002","journal-title":"Proc. SC."},{"key":"e_1_3_2_1_17_1","unstructured":"Vijay Saraswat Bard Bloom Igor Peshansky Olivier Tardieu and David Grove. 2015. X10 Language Specification Version 2.5.3.  Vijay Saraswat Bard Bloom Igor Peshansky Olivier Tardieu and David Grove. 2015. X10 Language Specification Version 2.5.3 ."},{"key":"e_1_3_2_1_18_1","unstructured":"Team SCALE. 2011. Scalable Computing for Advanced Library and Environment. http:\/\/r-ccs-climate.riken.jp\/scale\/.  Team SCALE. 2011. Scalable Computing for Advanced Library and Environment. http:\/\/r-ccs-climate.riken.jp\/scale\/."},{"key":"e_1_3_2_1_19_1","unstructured":"The Omni Compiler Project. 2010. The Omni Compiler. http:\/\/omni-compiler.org\/.  The Omni Compiler Project. 2010. The Omni Compiler. http:\/\/omni-compiler.org\/."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"The UPC Consortium. 2013. UPC Language Specifications Version 1.3.  The UPC Consortium. 2013. UPC Language Specifications Version 1.3 .","DOI":"10.2172\/1134233"},{"key":"e_1_3_2_1_21_1","first-page":"256","article-title":"A Marriage of Rely\/Guarantee and Separation Logic","author":"Vafeiadis Viktor","year":"2007","journal-title":"Proc. CONCUR."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/79173.79181"},{"key":"e_1_3_2_1_23_1","unstructured":"XcalableMP Specification Working Group. 2017. XcalableMP Application Program Interface Version 1.3.  XcalableMP Specification Working Group. 2017. XcalableMP Application Program Interface Version 1.3 ."}],"event":{"name":"MPLR '19: 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Athens Greece","acronym":"MPLR '19"},"container-title":["Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3357390.3361021","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3357390.3361021","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:11Z","timestamp":1750202591000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3357390.3361021"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,21]]},"references-count":22,"alternative-id":["10.1145\/3357390.3361021","10.1145\/3357390"],"URL":"https:\/\/doi.org\/10.1145\/3357390.3361021","relation":{},"subject":[],"published":{"date-parts":[[2019,10,21]]},"assertion":[{"value":"2019-10-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}