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

doi:10.1007/978-3-030-47361-7_2

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

^*Corresponding author af dette arbejde

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

15 Citationer (Scopus)

42 Downloads (Pure)

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

Originalsprog	Engelsk
Titel	Reversible Computation : Extending Horizons of Computing - Selected Results of the COST Action IC1405
Redaktører	Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira
Antal sider	19
Forlag	Springer VS
Publikationsdato	2020
Sider	41-59
ISBN (Trykt)	9783030473600
DOI	https://doi.org/10.1007/978-3-030-47361-7_2
Status	Udgivet - 2020

Navn	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind	12070 LNCS
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-030-47361-7_2Licens: CC BY

FulltextForlagets udgivne version, 640 KBLicens: CC BY

Citationsformater

Mezzina, C. A., Schlatte, R., Glück, R., Haulund, T., Hoey, J., Holm Cservenka, M., Lanese, I., Mogensen, T., Siljak, H., Schultz, U. P., & Ulidowski, I. (2020). Software and reversible systems: A survey of recent activities. I I. Ulidowski, I. Lanese, U. P. Schultz, & C. Ferreira (red.), Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405 (s. 41-59). Springer VS. https://doi.org/10.1007/978-3-030-47361-7_2

Software and reversible systems: A survey of recent activities. / Mezzina, Claudio Antares; Schlatte, Rudolf; Glück, Robert et al.
Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. red. / Irek Ulidowski; Ivan Lanese; Ulrik Pagh Schultz; Carla Ferreira. Springer VS, 2020. s. 41-59 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12070 LNCS).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Mezzina, CA, Schlatte, R, Glück, R, Haulund, T, Hoey, J, Holm Cservenka, M, Lanese, I, Mogensen, T, Siljak, H, Schultz, UP & Ulidowski, I 2020, Software and reversible systems: A survey of recent activities. i I Ulidowski, I Lanese, UP Schultz & C Ferreira (red), Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Springer VS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), bind 12070 LNCS, s. 41-59. https://doi.org/10.1007/978-3-030-47361-7_2

Mezzina CA, Schlatte R, Glück R, Haulund T, Hoey J, Holm Cservenka M et al. Software and reversible systems: A survey of recent activities. I Ulidowski I, Lanese I, Schultz UP, Ferreira C, red., Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Springer VS. 2020. s. 41-59. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12070 LNCS). doi: 10.1007/978-3-030-47361-7_2

Mezzina, Claudio Antares ; Schlatte, Rudolf ; Glück, Robert et al. / Software and reversible systems : A survey of recent activities. Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. red. / Irek Ulidowski ; Ivan Lanese ; Ulrik Pagh Schultz ; Carla Ferreira. Springer VS, 2020. s. 41-59 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12070 LNCS).

@inproceedings{0523fa9707184455993d7be61448f95e,

title = "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",

author = "Mezzina, {Claudio Antares} and Rudolf Schlatte and Robert Gl{\"u}ck and Tue Haulund and James Hoey and {Holm Cservenka}, Martin and Ivan Lanese and Torben Mogensen and Harun Siljak and Schultz, {Ulrik P.} and Irek Ulidowski",

year = "2020",

doi = "10.1007/978-3-030-47361-7_2",

language = "English",

isbn = "9783030473600",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer VS",

pages = "41--59",

editor = "Irek Ulidowski and Ivan Lanese and Schultz, {Ulrik Pagh} and Carla Ferreira",

booktitle = "Reversible Computation",

}

TY - GEN

T1 - Software and reversible systems

T2 - A survey of recent activities

AU - Mezzina, Claudio Antares

AU - Schlatte, Rudolf

AU - Glück, Robert

AU - Haulund, Tue

AU - Hoey, James

AU - Holm Cservenka, Martin

AU - Lanese, Ivan

AU - Mogensen, Torben

AU - Siljak, Harun

AU - Schultz, Ulrik P.

AU - Ulidowski, Irek

PY - 2020

Y1 - 2020

N2 - 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

AB - 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

U2 - 10.1007/978-3-030-47361-7_2

DO - 10.1007/978-3-030-47361-7_2

M3 - Article in proceedings

AN - SCOPUS:85085501936

SN - 9783030473600

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 41

EP - 59

BT - Reversible Computation

A2 - Ulidowski, Irek

A2 - Lanese, Ivan

A2 - Schultz, Ulrik Pagh

A2 - Ferreira, Carla

PB - Springer VS

ER -