8 citations · 8 across the 2 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2022
Reversing an Imperative Concurrent Programming Language
James Hoey, Irek Ulidowski
We introduce a method of reversing the execution of imperative concurrent programs. Given an irreversible program, we describe the process of producing two versions. The first perf…
cs.PL2018
Reversing Parallel Programs with Blocks and Procedures
James Hoey, Irek Ulidowski, Shoji Yuen
We show how to reverse a while language extended with blocks, local variables, procedures and the interleaving parallel composition. Annotation is defined along with a set of opera…
cs.PL2017★ 8 cited
Reversing Imperative Parallel Programs
James Hoey, Irek Ulidowski, Shoji Yuen
We propose an approach and a subsequent extension for reversing imperative programs. Firstly, we produce both an augmented version and a corresponding inverted version of the origi…