Skip to Main content Skip to Navigation
Book sections

Software and Reversible Systems: A Survey of Recent Activities

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.
Complete list of metadatas

Cited literature [73 references]  Display  Hide  Download

https://hal.inria.fr/hal-03005386
Contributor : Ivan Lanese <>
Submitted on : Saturday, November 14, 2020 - 8:46:59 AM
Last modification on : Tuesday, November 17, 2020 - 3:30:08 AM

File

published.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Claudio 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⟩

Share

Metrics

Record views

11

Files downloads

13