Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026★ 1 cited
Reversible Computation with Stacks and "Reversible Management of Failures"
Matteo Palazzo, Luca Roversi
This work examines approaches to making computational models reversible. Broadly speaking, transforming a computational model into a reversible one, i.e. reversibilizing it, means…
cs.PL2024
Algorithmically Expressive, Always-Terminating Model for Reversible Computation
Matteo Palazzo, Luca Roversi
Concerning classical computational models able to express all the Primitive Recursive Functions (PRF), there are interesting results regarding limits on their algorithmic expressiv…