Standard
Algeo : An Algebraic Approach to Reversibility. / Henglein, Fritz; Kaarsgaard, Robin; Mathiesen, Mikkel Kragh.
Reversible Computation - 14th International Conference, RC 2022, Proceedings. ed. / Claudio Antares Mezzina; Krzysztof Podlaski. Springer, 2022. p. 128-145 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13354 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Henglein, F, Kaarsgaard, R
& Mathiesen, MK 2022,
Algeo: An Algebraic Approach to Reversibility. in CA Mezzina & K Podlaski (eds),
Reversible Computation - 14th International Conference, RC 2022, Proceedings. Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13354 LNCS, pp. 128-145, 14th International Conference on Reversible Computation, RC 2022, Urbino, Italy,
05/07/2022.
https://doi.org/10.1007/978-3-031-09005-9_9
APA
Henglein, F., Kaarsgaard, R.
, & Mathiesen, M. K. (2022).
Algeo: An Algebraic Approach to Reversibility. In C. A. Mezzina, & K. Podlaski (Eds.),
Reversible Computation - 14th International Conference, RC 2022, Proceedings (pp. 128-145). Springer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 13354 LNCS
https://doi.org/10.1007/978-3-031-09005-9_9
Vancouver
Henglein F, Kaarsgaard R
, Mathiesen MK.
Algeo: An Algebraic Approach to Reversibility. In Mezzina CA, Podlaski K, editors, Reversible Computation - 14th International Conference, RC 2022, Proceedings. Springer. 2022. p. 128-145. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13354 LNCS).
https://doi.org/10.1007/978-3-031-09005-9_9
Author
Henglein, Fritz ; Kaarsgaard, Robin ; Mathiesen, Mikkel Kragh. / Algeo : An Algebraic Approach to Reversibility. Reversible Computation - 14th International Conference, RC 2022, Proceedings. editor / Claudio Antares Mezzina ; Krzysztof Podlaski. Springer, 2022. pp. 128-145 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13354 LNCS).
Bibtex
@inproceedings{3170a8193e034c5aa45a4aa216522799,
title = "Algeo: An Algebraic Approach to Reversibility",
abstract = "We present Algeo, a functional logic programming language based on the theory of infinite dimensional modules. Algeo is reversible in the sense that every function has a generalised inverse, an adjoint, which can be thought of as an inverse execution of the forward function. In particular, when the given function is invertible, the adjoint is guaranteed to coincide with the inverse. Algeo generalises “ordinary” forward-backward deterministic reversible programming by permitting relational and probabilistic features. This allows functions to be defined in a multitude of ways, which we summarise by the motto that “all definitions are extensional characterisations; all extensional characterisations are definitions.” We describe the syntax, type system, and the axiomatic semantics of Algeo, and showcase novel features of the language through examples.",
author = "Fritz Henglein and Robin Kaarsgaard and Mathiesen, {Mikkel Kragh}",
note = "Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 14th International Conference on Reversible Computation, RC 2022 ; Conference date: 05-07-2022 Through 06-07-2022",
year = "2022",
doi = "10.1007/978-3-031-09005-9_9",
language = "English",
isbn = "9783031090042",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "128--145",
editor = "Mezzina, {Claudio Antares} and Krzysztof Podlaski",
booktitle = "Reversible Computation - 14th International Conference, RC 2022, Proceedings",
address = "Switzerland",
}
RIS
TY - GEN
T1 - Algeo
T2 - 14th International Conference on Reversible Computation, RC 2022
AU - Henglein, Fritz
AU - Kaarsgaard, Robin
AU - Mathiesen, Mikkel Kragh
N1 - Publisher Copyright:
© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.
PY - 2022
Y1 - 2022
N2 - We present Algeo, a functional logic programming language based on the theory of infinite dimensional modules. Algeo is reversible in the sense that every function has a generalised inverse, an adjoint, which can be thought of as an inverse execution of the forward function. In particular, when the given function is invertible, the adjoint is guaranteed to coincide with the inverse. Algeo generalises “ordinary” forward-backward deterministic reversible programming by permitting relational and probabilistic features. This allows functions to be defined in a multitude of ways, which we summarise by the motto that “all definitions are extensional characterisations; all extensional characterisations are definitions.” We describe the syntax, type system, and the axiomatic semantics of Algeo, and showcase novel features of the language through examples.
AB - We present Algeo, a functional logic programming language based on the theory of infinite dimensional modules. Algeo is reversible in the sense that every function has a generalised inverse, an adjoint, which can be thought of as an inverse execution of the forward function. In particular, when the given function is invertible, the adjoint is guaranteed to coincide with the inverse. Algeo generalises “ordinary” forward-backward deterministic reversible programming by permitting relational and probabilistic features. This allows functions to be defined in a multitude of ways, which we summarise by the motto that “all definitions are extensional characterisations; all extensional characterisations are definitions.” We describe the syntax, type system, and the axiomatic semantics of Algeo, and showcase novel features of the language through examples.
U2 - 10.1007/978-3-031-09005-9_9
DO - 10.1007/978-3-031-09005-9_9
M3 - Article in proceedings
AN - SCOPUS:85134318274
SN - 9783031090042
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 128
EP - 145
BT - Reversible Computation - 14th International Conference, RC 2022, Proceedings
A2 - Mezzina, Claudio Antares
A2 - Podlaski, Krzysztof
PB - Springer
Y2 - 5 July 2022 through 6 July 2022
ER -
