Standard
Towards a unified language architecture for reversible object-oriented programming. / Hay-Schmidt, Lasse; Glück, Robert; Cservenka, Martin Holm; Haulund, Tue.
Reversible Computation.: 13th International Conference, RC 2021 Virtual Event, July 7–8, 2021 Proceedings. ed. / Shigeru Yamashita; Tetsuo Yokoyama. Springer, 2021. p. 96-106 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12805 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Hay-Schmidt, L
, Glück, R, Cservenka, MH & Haulund, T 2021,
Towards a unified language architecture for reversible object-oriented programming. in S Yamashita & T Yokoyama (eds),
Reversible Computation.: 13th International Conference, RC 2021 Virtual Event, July 7–8, 2021 Proceedings. Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12805 LNCS, pp. 96-106, 13th International Conference on Reversible Computation, RC 2021, Virtual, Online,
07/07/2021.
https://doi.org/10.1007/978-3-030-79837-6_6
APA
Hay-Schmidt, L.
, Glück, R., Cservenka, M. H., & Haulund, T. (2021).
Towards a unified language architecture for reversible object-oriented programming. In S. Yamashita, & T. Yokoyama (Eds.),
Reversible Computation.: 13th International Conference, RC 2021 Virtual Event, July 7–8, 2021 Proceedings (pp. 96-106). Springer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 12805 LNCS
https://doi.org/10.1007/978-3-030-79837-6_6
Vancouver
Hay-Schmidt L
, Glück R, Cservenka MH, Haulund T.
Towards a unified language architecture for reversible object-oriented programming. In Yamashita S, Yokoyama T, editors, Reversible Computation.: 13th International Conference, RC 2021 Virtual Event, July 7–8, 2021 Proceedings. Springer. 2021. p. 96-106. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12805 LNCS).
https://doi.org/10.1007/978-3-030-79837-6_6
Author
Hay-Schmidt, Lasse ; Glück, Robert ; Cservenka, Martin Holm ; Haulund, Tue. / Towards a unified language architecture for reversible object-oriented programming. Reversible Computation.: 13th International Conference, RC 2021 Virtual Event, July 7–8, 2021 Proceedings. editor / Shigeru Yamashita ; Tetsuo Yokoyama. Springer, 2021. pp. 96-106 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12805 LNCS).
Bibtex
@inproceedings{9e0633cc167349f4a5b1443c41e1489f,
title = "Towards a unified language architecture for reversible object-oriented programming",
abstract = "A unified language architecture for an advanced reversible object-oriented language is described. The design and implementation choices made for a tree-walking interpreter and source-language inverter are discussed, as well as the integration with an existing monadic parser, type checker and PISA compiler backend. A demonstration of the web interface and the interactions required to interpret, compile and invert reversible object-oriented programs is given. Our aim is that this platform will make reversible programming approachable to a wider community.",
author = "Lasse Hay-Schmidt and Robert Gl{\"u}ck and Cservenka, {Martin Holm} and Tue Haulund",
note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; 13th International Conference on Reversible Computation, RC 2021 ; Conference date: 07-07-2021 Through 08-07-2021",
year = "2021",
doi = "10.1007/978-3-030-79837-6_6",
language = "English",
isbn = "9783030798369",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "96--106",
editor = "Shigeru Yamashita and Tetsuo Yokoyama",
booktitle = "Reversible Computation.",
address = "Switzerland",
}
RIS
TY - GEN
T1 - Towards a unified language architecture for reversible object-oriented programming
AU - Hay-Schmidt, Lasse
AU - Glück, Robert
AU - Cservenka, Martin Holm
AU - Haulund, Tue
N1 - Publisher Copyright:
© 2021, Springer Nature Switzerland AG.
PY - 2021
Y1 - 2021
N2 - A unified language architecture for an advanced reversible object-oriented language is described. The design and implementation choices made for a tree-walking interpreter and source-language inverter are discussed, as well as the integration with an existing monadic parser, type checker and PISA compiler backend. A demonstration of the web interface and the interactions required to interpret, compile and invert reversible object-oriented programs is given. Our aim is that this platform will make reversible programming approachable to a wider community.
AB - A unified language architecture for an advanced reversible object-oriented language is described. The design and implementation choices made for a tree-walking interpreter and source-language inverter are discussed, as well as the integration with an existing monadic parser, type checker and PISA compiler backend. A demonstration of the web interface and the interactions required to interpret, compile and invert reversible object-oriented programs is given. Our aim is that this platform will make reversible programming approachable to a wider community.
U2 - 10.1007/978-3-030-79837-6_6
DO - 10.1007/978-3-030-79837-6_6
M3 - Article in proceedings
AN - SCOPUS:85112016214
SN - 9783030798369
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 96
EP - 106
BT - Reversible Computation.
A2 - Yamashita, Shigeru
A2 - Yokoyama, Tetsuo
PB - Springer
T2 - 13th International Conference on Reversible Computation, RC 2021
Y2 - 7 July 2021 through 8 July 2021
ER -