Algeo: An Algebraic Approach to Reversibility
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Documents
- Fulltext
Submitted manuscript, 145 KB, PDF document
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.
Original language | English |
---|---|
Title of host publication | Reversible Computation - 14th International Conference, RC 2022, Proceedings |
Editors | Claudio Antares Mezzina, Krzysztof Podlaski |
Publisher | Springer |
Publication date | 2022 |
Pages | 128-145 |
ISBN (Print) | 9783031090042 |
DOIs | |
Publication status | Published - 2022 |
Event | 14th International Conference on Reversible Computation, RC 2022 - Urbino, Italy Duration: 5 Jul 2022 → 6 Jul 2022 |
Conference
Conference | 14th International Conference on Reversible Computation, RC 2022 |
---|---|
Land | Italy |
By | Urbino |
Periode | 05/07/2022 → 06/07/2022 |
Series | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 13354 LNCS |
ISSN | 0302-9743 |
Bibliographical note
Publisher Copyright:
© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.
Number of downloads are based on statistics from Google Scholar and www.ku.dk
ID: 318871331