Foundations of reversible computation

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Documents

  • Fulltext

    Final published version, 618 KB, PDF document

  • Bogdan Aman
  • Gabriel Ciobanu
  • Glück, Robert
  • Robin Kaarsgaard
  • Jarkko Kari
  • Martin Kutrib
  • Ivan Lanese
  • Claudio Antares Mezzina
  • Łukasz Mikulski
  • Rajagopal Nagarajan
  • Iain Phillips
  • G. Michele Pinna
  • Luca Prigioniero
  • Irek Ulidowski
  • Germán Vidal

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 languageEnglish
Title of host publicationReversible Computation : Extending Horizons of Computing - Selected Results of the COST Action IC1405
EditorsIrek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira
Number of pages40
PublisherSpringer VS
Publication date2020
Pages1-40
ISBN (Print)9783030473600
DOIs
Publication statusPublished - 2020
Event12th International Conference on Reversible Computation, RC 2020 - Oslo, Norway
Duration: 9 Jul 202010 Jul 2020

Conference

Conference12th International Conference on Reversible Computation, RC 2020
LandNorway
ByOslo
Periode09/07/202010/07/2020
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12070 LNCS
ISSN0302-9743

Number of downloads are based on statistics from Google Scholar and www.ku.dk


No data available

ID: 248898249