Software and reversible systems: A survey of recent activities

Claudio Antares Mezzina*, Rudolf Schlatte, Robert Glück, Tue Haulund, James Hoey, Martin Holm Cservenka, Ivan Lanese, Torben Mogensen, Harun Siljak, Ulrik P. Schultz, Irek Ulidowski

*Corresponding author for this work

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

19 Downloads (Pure)

Abstract

Software plays a central role in all aspects of reversible computing. We survey the breadth of topics and recent activities on reversible software and systems including behavioural types, recovery, debugging, concurrency, and object-oriented programming. These have the potential to provide linguistic abstractions and tools that will lead to safer and more reliable reversible computing applications.

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
PublisherSpringer
Publication date2020
Pages41-59
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
Country/TerritoryNorway
CityOslo
Period09/07/202010/07/2020
SeriesLecture Notes in Computer Science
Volume12070
ISSN0302-9743

Fingerprint

Dive into the research topics of 'Software and reversible systems: A survey of recent activities'. Together they form a unique fingerprint.

Cite this