A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs

James Hoey, Ivan Lanese, Naoki Nishida 0001, Irek Ulidowski, Germán Vidal. A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs. In Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira 0001, editors, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Volume 12070 of Lecture Notes in Computer Science, pages 108-127, Springer, 2020. [doi]

Abstract

Abstract is missing.