35 citations · 65 across the 12 of their papers we have counts for
3 papers · 1 filter
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…
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…
Towards Reversible Computation in Erlang
Naoki Nishida, Adrián Palacios, Germán Vidal
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…