Standard
Software and reversible systems : A survey of recent activities. / Mezzina, Claudio Antares; Schlatte, Rudolf; Glück, Robert; Haulund, Tue; Hoey, James; Holm Cservenka, Martin; Lanese, Ivan; Mogensen, Torben; Siljak, Harun; Schultz, Ulrik P.; Ulidowski, Irek.
Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. ed. / Irek Ulidowski; Ivan Lanese; Ulrik Pagh Schultz; Carla Ferreira. Springer VS, 2020. p. 41-59 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12070 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
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. in I Ulidowski, I Lanese, UP Schultz & C Ferreira (eds),
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), vol. 12070 LNCS, pp. 41-59.
https://doi.org/10.1007/978-3-030-47361-7_2APA
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. In I. Ulidowski, I. Lanese, U. P. Schultz, & C. Ferreira (Eds.),
Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405 (pp. 41-59). Springer VS. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 12070 LNCS
https://doi.org/10.1007/978-3-030-47361-7_2Vancouver
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. In Ulidowski I, Lanese I, Schultz UP, Ferreira C, editors, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Springer VS. 2020. p. 41-59. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12070 LNCS).
https://doi.org/10.1007/978-3-030-47361-7_2Author
Mezzina, Claudio Antares ; Schlatte, Rudolf ; Glück, Robert ; Haulund, Tue ; Hoey, James ; Holm Cservenka, Martin ; Lanese, Ivan ; Mogensen, Torben ; Siljak, Harun ; Schultz, Ulrik P. ; Ulidowski, Irek. / Software and reversible systems : A survey of recent activities. Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. editor / Irek Ulidowski ; Ivan Lanese ; Ulrik Pagh Schultz ; Carla Ferreira. Springer VS, 2020. pp. 41-59 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12070 LNCS).
Bibtex
@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",
}
RIS
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 -
