Towards a Taxonomy for Reversible Computation Approaches - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Towards a Taxonomy for Reversible Computation Approaches

Résumé

Reversible computation is a paradigm allowing computation to proceed not only in the usual, forward direction, but also backwards. Reversible computation has been studied in a variety of models, including sequential and concurrent programming languages, automata, process calculi, Turing machines, circuits, Petri nets, event structures, term rewriting, quantum computing, and others. Also, it has found applications in areas as different as low-power computing, debugging, simulation, robotics, database design, and biochemical modeling. Thus, while the broad idea of reversible computation is the same in all the areas, it has been interpreted and adapted to fit the various settings. The existing notions of reversible computation however have never been compared and categorized in detail. This work aims at being a first stepping stone towards a taxonomy of the approaches that co-exist under the term reversible computation. We hope that such a work will shed light on the relation among the various approaches.
Fichier principal
Vignette du fichier
main.pdf (245.78 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Licence : CC BY - Paternité

Dates et versions

hal-04343408 , version 1 (14-12-2023)

Licence

Copyright (Tous droits réservés)

Identifiants

Citer

Robert Glück, Ivan Lanese, Claudio Antares Mezzina, Jarosław Adam Miszczak, Iain Phillips, et al.. Towards a Taxonomy for Reversible Computation Approaches. Reversible Computation - RC 2023, Jul 2023, Giessen, Germany. pp.24-39, ⟨10.1007/978-3-031-38100-3_3⟩. ⟨hal-04343408⟩
12 Consultations
25 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More