Foundations of reversible computation
File(s)
Published version
Author(s)
Type
Chapter
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.
Editor(s)
Ulidowski, Irek
Lanese, Ivan
Schultz, Ulrik Pagh
Ferreira, Carla
Date Issued
2020-05-12
Citation
Reversible Computation: Extending Horizons of Computing, 2020, pp.1-40
Publisher
Springer Verlag
Start Page
1
End Page
40
Journal / Book Title
Reversible Computation: Extending Horizons of Computing
Copyright Statement
© The Editor(s) (if applicable) and The Author(s) 2020. This book is an open access publication.
Open Access This book is licensed under the terms of the Creative Commons Attribution 4.0 International
License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution
and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and
the source, provide a link to the Creative Commons license and indicate if changes were made.
Open Access This book is licensed under the terms of the Creative Commons Attribution 4.0 International
License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution
and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and
the source, provide a link to the Creative Commons license and indicate if changes were made.
License URL
Identifier
https://link.springer.com/chapter/10.1007%2F978-3-030-47361-7_1
Subjects
Artificial Intelligence & Image Processing
Publication Status
Published
Date Publish Online
2020-05-12