38 citations · 145 across the 24 of their papers we have counts for
1 paper · 1 filter
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…