Software and reversible systems: A survey of recent activities

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

Documents

  • Fulltext

    Final published version, 640 KB, PDF document

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
Number of pages19
PublisherSpringer VS
Publication date2020
Pages41-59
ISBN (Print)9783030473600
DOIs
Publication statusPublished - 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: 249395799