Software and reversible systems: A survey of recent activities

Claudio Antares Mezzina*, Rudolf Schlatte, Robert Glück, Tue Haulund, James Hoey, Martin Holm Cservenka, Ivan Lanese, Torben Mogensen, Harun Siljak, Ulrik P. Schultz, Irek Ulidowski

*Kontaktforfatter for dette arbejde

Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

14 Downloads (Pure)

Abstrakt

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.

OriginalsprogEngelsk
TitelReversible Computation : Extending Horizons of Computing - Selected Results of the COST Action IC1405
RedaktørerIrek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira
ForlagSpringer
Publikationsdato2020
Sider41-59
ISBN (Trykt)9783030473600
DOI
StatusUdgivet - 2020
Begivenhed12th International Conference on Reversible Computation, RC 2020 - Oslo, Norge
Varighed: 9. jul. 202010. jul. 2020

Konference

Konference12th International Conference on Reversible Computation, RC 2020
LandNorge
ByOslo
Periode09/07/202010/07/2020
NavnLecture Notes in Computer Science
Vol/bind12070
ISSN0302-9743

Fingeraftryk Dyk ned i forskningsemnerne om 'Software and reversible systems: A survey of recent activities'. Sammen danner de et unikt fingeraftryk.

Citationsformater