Tatsuya Abe 0001. A type system for data independence of loop iterations in a directive-based PGAS language. In Antony L. Hosking, Irene Finocchi, editors, Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, MPLR 2019, Athens, Greece, October 21-22, 2019. pages 50-62, ACM, 2019. [doi]
Abstract is missing.