Algeo: An Algebraic Approach to Reversibility

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

Dokumenter

  • 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.

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

Konference

Konference14th International Conference on Reversible Computation, RC 2022
LandItalien
ByUrbino
Periode05/07/202206/07/2022
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind13354 LNCS
ISSN0302-9743

Bibliografisk note

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

ID: 318871331