16 citations · 16 across the 1 of their papers we have counts for
3 papers
cs.PL2019
The meaning of a program change is a change to the program's meaning
Roly Perera
Programming is the activity of modifying a program in order to bring about specific changes in its behaviour. Yet programming language theory almost exclusively focuses on the mean…
cs.PL2017★ 16 cited
Imperative Functional Programs that Explain their Work
Wilmer Ricciotti, Jan Stolarek, Roly Perera +1
Program slicing provides explanations that illustrate how program outputs were produced from inputs. We build on an approach introduced in prior work by Perera et al., where dynami…
cs.PL2016
Multiparty Compatibility for Concurrent Objects
Roly Perera, Julien Lange, Simon J. Gay
Objects and actors are communicating state machines, offering and consuming different services at different points in their lifecycle. Two complementary challenges arise when progr…