1. Foundations of Reversible Computation
- Author
-
Iain Phillips, Martin Kutrib, Claudio Antares Mezzina, Lukasz Mikulski, Germán Vidal, Bogdan Aman, Robin Kaarsgaard, Jarkko Kari, R. Nagarajan, Gabriel Ciobanu, Ivan Lanese, G. M. Pinna, Irek Ulidowski, Luca Prigioniero, Robert Glück, Ulidowski, I, Lanese, I, Schultz, UP, Ferreira, C, Romanian Academy, Alexandru Ioan Cuza University of Iași [Romania], 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), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (DISI), Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)-Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO), Alma Mater Studiorum University of Bologna (UNIBO), Università degli Studi di Urbino 'Carlo Bo', Nicolaus Copernicus University [Toruń], Middlesex University [London], Imperial College London, Università degli Studi di Cagliari = University of Cagliari (UniCa), Università degli Studi di Milano = University of Milan (UNIMI), University of Leicester, Universitat Politècnica de València (UPV), European Project: COST Action IC1405,COST - European Cooperation in Science and Technology,IC1405(2015), University of Copenhagen = Københavns Universitet (KU), Justus-Liebig-Universität Gießen (JLU), Universita degli Studi di Cagliari [Cagliari], Università degli Studi di Milano [Milano] (UNIMI), Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira, Aman B., Ciobanu G., Gluck R., Kaarsgaard R., Kari J., Kutrib M., Lanese I., Mezzina C.A., Mikulski L., Nagarajan R., Phillips I., Pinna G.M., Prigioniero L., Ulidowski I., and Vidal G.
- Subjects
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL] ,Theoretical computer science ,Computer science ,business.industry ,Computation ,media_common.quotation_subject ,Computability ,Multiple applications ,020207 software engineering ,Robotics ,0102 computer and information sciences ,02 engineering and technology ,Formal methods ,01 natural sciences ,Reversible computing, Foundations, Formal methods ,[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] ,Debugging ,010201 computation theory & mathematics ,0202 electrical engineering, electronic engineering, information engineering ,Reversible computing ,Artificial Intelligence & Image Processing ,Cost action ,Artificial intelligence ,business ,media_common - Abstract
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.
- Published
- 2020
- Full Text
- View/download PDF