104
click to vote
PPOPP
2010
ACM
16 years 5 days ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...