A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Semantics of (Resilient) X10
[chapter]
2014
Lecture Notes in Computer Science
Cons ist en t * Comple te * We ll Docum en ted * Easy to Re use * * E v a lu ate d * EC OOP * A rt ifact * A EC We present a formal small-step structural operational semantics for a large fragment of X10, unifying past work. The fragment covers multiple places, mutable objects on the heap, sequencing, try/catch, async, finish, and at constructs. This model accurately captures the behavior of a large class of concurrent, multi-place X10 programs. Further, we introduce a formal model of
doi:10.1007/978-3-662-44202-9_27
fatcat:xgnhfeklmnauhldjkzmfzvf6hu