type system | STAIR: Software Technology and Artificial Intelligence Research Laboratory

tag: type system

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

program verification, high performance computing, operational semantics, type system, concurrency, parallel processing