56 citations · 188 across the 15 of their papers we have counts for
Showing 2013 · cs.PLShow all
2 papers · 2 filters
cs.PL2013
Semantics of (Resilient) X10
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…
cs.PL2013
TCC, with History
Vijay Saraswat, Radha Jagadeesan, Vineet Gupta
Modern computer systems are awash in a sea of asynchronous events. There is an increasing need for a declarative language that can permit business users to specify complex event-pr…