10 citations · 19 across the 4 of their papers we have counts for
4 papers
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…
Executable Interval Temporal Logic Specifications
Antonio Cau, Stefan Kuhn, James Hoey
In this paper the reversibility of executable Interval Temporal Logic (ITL) specifications is investigated. ITL allows for the reasoning about systems in terms of behaviours which…
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…
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…