Nishida, Naoki; Palacios Corella, Adrián; Vidal Oriola, Germán Francisco; Nishida(Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2016)
Essentially, in a reversible programming language, for each forward computation step from state S to state S', there exists a constructive and deterministic method to go backwards from state S' to state S. Besides its ...