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

^*Kontaktforfatter

Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

34 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
Forlag	Springer
Publikationsdato	2020
Sider	41-59
ISBN (Trykt)	9783030473600
DOI	https://doi.org/10.1007/978-3-030-47361-7_2
Status	Udgivet - 2020
Begivenhed	12th International Conference on Reversible Computation, RC 2020 - Oslo, Norge Varighed: 9. jul. 2020 → 10. jul. 2020

Konference

Konference	12th International Conference on Reversible Computation, RC 2020
Land/Område	Norge
By	Oslo
Periode	09/07/2020 → 10/07/2020

Navn	Lecture Notes in Computer Science
Vol/bind	12070
ISSN	0302-9743

Dokumenter og links

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

Open Access VersionForlagets udgivne version, 671 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. Lecture Notes in Computer Science Bind 12070 https://doi.org/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, 2020. s. 41-59 (Lecture Notes in Computer Science, Bind 12070).

@inproceedings{ec1a3a2323a54cbf8f3d4f072321628d,

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

publisher = "Springer",

pages = "41--59",

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

booktitle = "Reversible Computation",

address = "Germany",

note = "12th International Conference on Reversible Computation, RC 2020 ; Conference date: 09-07-2020 Through 10-07-2020",

}

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, Lecture Notes in Computer Science, bind 12070, s. 41-59, 12th International Conference on Reversible Computation, RC 2020, Oslo, Norge, 09/07/2020. 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, 2020. s. 41-59 (Lecture Notes in Computer Science, Bind 12070).

Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - Software and reversible systems

T2 - 12th International Conference on Reversible Computation, RC 2020

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

SP - 41

EP - 59

BT - Reversible Computation

A2 - Ulidowski, Irek

A2 - Lanese, Ivan

A2 - Schultz, Ulrik Pagh

A2 - Ferreira, Carla

PB - Springer

Y2 - 9 July 2020 through 10 July 2020

ER -

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. 2020. s. 41-59. (Lecture Notes in Computer Science, Bind 12070). doi: 10.1007/978-3-030-47361-7_2

Software and reversible systems: A survey of recent activities

Abstract

Konference

Dokumenter og links

Fingeraftryk

Citationsformater