Algeo: An Algebraic Approach to Reversibility

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt


  • Fulltext

    Indsendt manuskript, 145 KB, PDF-dokument

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.

TitelReversible Computation - 14th International Conference, RC 2022, Proceedings
RedaktørerClaudio Antares Mezzina, Krzysztof Podlaski
ISBN (Trykt)9783031090042
StatusUdgivet - 2022
Begivenhed14th International Conference on Reversible Computation, RC 2022 - Urbino, Italien
Varighed: 5 jul. 20226 jul. 2022


Konference14th International Conference on Reversible Computation, RC 2022
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind13354 LNCS

Bibliografisk note

Publisher Copyright:
© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

Antal downloads er baseret på statistik fra Google Scholar og

Ingen data tilgængelig

ID: 318871331