Romanian Academy, Alexandru Ioan Cuza University of Iași = Universitatea Alexandru Ioan Cuza din Iași (UAIC), University of Copenhagen = Københavns Universitet (UCPH), University of Turku, Justus-Liebig-Universität Gießen = Justus Liebig University (JLU), Foundations of Component-based Ubiquitous Systems (FOCUS), Centre Inria d'Université Côte d'Azur, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO), Università degli Studi di Urbino 'Carlo Bo' = University of Urbino, Nicolaus Copernicus University Toruń, Middlesex University London, Imperial College London, Università degli Studi di Cagliari = University of Cagliari = Université de Cagliari (UniCa), Università degli Studi di Milano = University of Milan (UNIMI), University of Leicester, Universitat Politècnica de València = Universitad Politecnica de Valencia = Polytechnic University of Valencia (UPV), European Project: COST Action IC1405,COST - European Cooperation in Science and Technology,IC1405(2015)
Source:
Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405 ; https://inria.hal.science/hal-03005384 ; 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⟩
International audience ; 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.
