Reversible Computation in Term Rewriting

Naoki Nishida, Adrián Palacios, Germán Vidal

Essentially, in a reversible programming language, for each forward computation from state $S$ to state $S^{\prime }$, there exists a constructive method to go backwards from state $S^{\prime }$ to…