Reversible Execution and Visualization of Programs with LEONARDO

Pierluigi Crescenzi, Camil Demetrescu, Irene Finocchi, Rossella Petreschi. Reversible Execution and Visualization of Programs with LEONARDO. J. Vis. Lang. Comput., 11(2):125-150, 2000.

Abstract

Abstract is missing.