9 citations · 14 across the 4 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2016★ 5 cited
Causally consistent dynamic slicing
Roly Perera, Deepak Garg, James Cheney
We offer a lattice-theoretic account of dynamic slicing for π-calculus, building on prior work in the sequential setting. For any run of a concurrent program, we exhibit a Galois c…
cs.PL2016
Liveness for Verification
Roly Perera, Simon J. Gay
We explore the use of liveness for interactive program verification for a simple concurrent object language. Our experimental IDE integrates two (formally dual) kinds of continuous…
cs.PL2016
Behavioural Prototypes
Roly Perera, Simon J. Gay
We sketch a simple language of concurrent objects which explores the design space between type systems and continuous testing. In our language, programs are collections of communic…