56 citations · 56 across the 2 of their papers we have counts for
1 paper · 1 filter
Silvia Crafa, David Cunningham, Vijay Saraswat +2
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, s…