Tag: type system
Showing 1 posts
-
Publications 2019.10.23
Publications 2019.10.23
A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language
Tatsuya Abe. A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language. In Pro...program verificationhigh performance computingoperational semanticstype systemconcurrencyparallel processing