Software and Reversible Systems: A Survey of Recent Activities
- Mezzina, Claudio,
- Schlatte, Rudolf
- Glück, Robert
- Haulund, Tue
- Hoey, James
- Holm Cservenka, Martin
- Lanese, Ivan
- Mogensen, Torben,
- Siljak, Harun
- Schultz, Ulrik,
- Ulidowski, Irek
Publication date
January 2020
DOI Publisher
Springer Science and Business Media LLCAbstract
International audienceSoftware 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
Add to ORKG