Algeo: An Algebraic Approach to Reversibility

Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen*

*Kontaktforfatter

Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

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.
OriginalsprogEngelsk
TitelReversible Computation
RedaktørerClaudio Antares Mezzina, Krzysztof Podlaski
ForlagSpringer
Publikationsdato28. jun. 2022
Sider128-145
ISBN (Trykt)978-3-031-09004-2
ISBN (Elektronisk)978-3-031-09005-9
DOI
StatusUdgivet - 28. jun. 2022
Udgivet eksterntJa
Begivenhed14th International Conference on Reversible Computation - Urbino, Italien
Varighed: 5. jun. 20226. jun. 2022

Konference

Konference14th International Conference on Reversible Computation
Land/OmrådeItalien
ByUrbino
Periode05/06/202206/06/2022
NavnLecture Notes in Computer Science
Vol/bind13354
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'Algeo: An Algebraic Approach to Reversibility'. Sammen danner de et unikt fingeraftryk.

Citationsformater