Browse Dept. of Computer Science by Series/Report "ASE"
Now showing items 1-1 of 1
(IEEE, 2015-08-17)In this paper, we present the first full regions-and-effects inference algorithm for explicitly parallel fork-join programs. We infer annotations inspired by Deterministic Parallel Java (DPJ) for a type-safe subset of C++. ...