Foundations of reversible computation
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Documents
- Fulltext
Final published version, 618 KB, PDF document
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.
Original language | English |
---|---|
Title of host publication | Reversible Computation : Extending Horizons of Computing - Selected Results of the COST Action IC1405 |
Editors | Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira |
Number of pages | 40 |
Publisher | Springer VS |
Publication date | 2020 |
Pages | 1-40 |
ISBN (Print) | 9783030473600 |
DOIs | |
Publication status | Published - 2020 |
Event | 12th International Conference on Reversible Computation, RC 2020 - Oslo, Norway Duration: 9 Jul 2020 → 10 Jul 2020 |
Conference
Conference | 12th International Conference on Reversible Computation, RC 2020 |
---|---|
Land | Norway |
By | Oslo |
Periode | 09/07/2020 → 10/07/2020 |
Series | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 12070 LNCS |
ISSN | 0302-9743 |
Number of downloads are based on statistics from Google Scholar and www.ku.dk
ID: 248898249