A Reversible Operational Semantics for Imperative Programming Languages.

Maribel Fernndez, Ian Mackie

Browse the full ICFEM paper archive.