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.
Mezzina C.A., Schlatte R., Gluck R., Haulund T., Hoey J., Holm Cservenka M., et al. (2020). Software and reversible systems: A survey of recent activities. Cham : Springer [10.1007/978-3-030-47361-7_2].
Software and reversible systems: A survey of recent activities
Lanese I.;
2020
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
published.pdf
accesso aperto
Tipo:
Versione (PDF) editoriale
Licenza:
Licenza per Accesso Aperto. Creative Commons Attribuzione (CCBY)
Dimensione
639.58 kB
Formato
Adobe PDF
|
639.58 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
