7 citations · 7 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2018
A Theory of Reversibility for Erlang
Ivan Lanese, Naoki Nishida, Adrián Palacios +1
In a reversible language, any forward computation can be undone by a finite sequence of backward steps. Reversible computing has been studied in the context of different programmin…
cs.PL2017
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 to state , there exists a constructive method to go backwards from state to…