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.

Foundations of reversible computation / B. Aman, G. Ciobanu, R. Gluck, R. Kaarsgaard, J. Kari, M. Kutrib, I. Lanese, C.A. Mezzina, L. Mikulski, R. Nagarajan, I. Phillips, G.M. Pinna, L. Prigioniero, I. Ulidowski, G. Vidal (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405 / [a cura di] I. Ulidowski, I. Lanese, U. Pagh Schultz, C. Ferreira. - [s.l] : Springer, 2020. - ISBN 9783030473600. - pp. 1-40 (( Intervento presentato al 12. convegno International Conference on Reversible Computation tenutosi a Oslo nel 2020 [10.1007/978-3-030-47361-7_1].

Foundations of reversible computation

L. Prigioniero;
2020

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.
Settore INF/01 - Informatica
2020
Book Part (author)
File in questo prodotto:
File Dimensione Formato  
paper_11.pdf

accesso riservato

Tipologia: Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione 444.19 kB
Formato Adobe PDF
444.19 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Aman2020_Chapter_FoundationsOfReversibleComputa.pdf

accesso aperto

Tipologia: Publisher's version/PDF
Dimensione 618.04 kB
Formato Adobe PDF
618.04 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/762719
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 14
  • ???jsp.display-item.citation.isi??? ND
social impact