Software and Reversible Systems: A Survey of Recent Activities - Archive ouverte HAL Access content directly
Book Sections Year : 2020

Software and Reversible Systems: A Survey of Recent Activities

(1) , (2) , (3) , (4) , (5) , (6) , (7, 8) , (3) , (9) , (10) , (5)
1
2
3
4
5
6
7
8
9
10

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.
Fichier principal
Vignette du fichier
published.pdf (639.58 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-03005386 , version 1 (14-11-2020)

Identifiers

Cite

Claudio Antares Mezzina, Rudolf Schlatte, Robert Glück, Tue Haulund, James Hoey, et al.. Software and Reversible Systems: A Survey of Recent Activities. Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, pp.41 - 59, 2020, ⟨10.1007/978-3-030-47361-7_2⟩. ⟨hal-03005386⟩
30 View
60 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More