Skip to Main content Skip to Navigation
Book sections

Foundations of Reversible Computation

Abstract : Reversible computation allows computation to proceed not only in the standard, forward direction, but also backward, recovering past states. While reversible computation has attracted interest for its multiple applications, covering areas as different as low-power computing , simulation, robotics and debugging, such applications need to be supported by a clear understanding of the foundations of reversible computation. We report below on many threads of research in the area of foundations of reversible computing, giving particular emphasis to the results obtained in the framework of the European COST Action IC1405, entitled "Reversible Computation-Extending Horizons of Computing", which took place in the years 2015-2019.
Complete list of metadata

Cited literature [197 references]  Display  Hide  Download

https://hal.inria.fr/hal-03005384
Contributor : Ivan Lanese Connect in order to contact the contributor
Submitted on : Saturday, November 14, 2020 - 8:44:33 AM
Last modification on : Monday, May 17, 2021 - 11:44:26 AM
Long-term archiving on: : Monday, February 15, 2021 - 6:05:20 PM

File

FoundationsRevComp-published.p...
Files produced by the author(s)

Identifiers

Collections

Citation

Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, et al.. Foundations of Reversible Computation. Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, 12070, pp.1 - 40, 2020, ⟨10.1007/978-3-030-47361-7_1⟩. ⟨hal-03005384⟩

Share

Metrics

Record views

41

Files downloads

296