Ivan Lanese. From Reversible Semantics to Reversible Debugging. In Jarkko Kari, Irek Ulidowski, editors, Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings. Volume 11106 of Lecture Notes in Computer Science, pages 34-46, Springer, 2018. [doi]
Abstract is missing.