8 citations · 8 across the 4 of their papers we have counts for
1 paper · 1 filter
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…