A Reversible Abstract Machine and Its Space Overhead.

Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani

Browse the full FORTE paper archive.