Software and reversible systems: A survey of recent activities
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-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 language | English |
---|---|
Title of host publication | Reversible Computation : Extending Horizons of Computing - Selected Results of the COST Action IC1405 |
Editors | Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira |
Number of pages | 19 |
Publisher | Springer VS |
Publication date | 2020 |
Pages | 41-59 |
ISBN (Print) | 9783030473600 |
DOIs | |
Publication status | Published - 2020 |
Series | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 12070 LNCS |
ISSN | 0302-9743 |
Number of downloads are based on statistics from Google Scholar and www.ku.dk
No data available
ID: 249395799