16 citations · 16 across the 2 of their papers we have counts for
5 papers · 1 filter
Linked visualisations via Galois dependencies
Roly Perera, Minh Nguyen, Tomas Petricek +1
We present new language-based dynamic analysis techniques for linking visualisations and other structured outputs to data in a fine-grained way, allowing a user to interactively ex…
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…
Incremental Relational Lenses
Rudi Horn, Roly Perera, James Cheney
Lenses are a popular approach to bidirectional transformations, a generalisation of the view update problem in databases, in which we wish to make changes to source tables to effec…
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…
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…