Towards a Taxonomy for Reversible Computation Approaches
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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.
Originalsprog | Engelsk |
---|---|
Titel | Reversible Computation - 15th International Conference, RC 2023, Proceedings |
Redaktører | Martin Kutrib, Uwe Meyer |
Antal sider | 16 |
Forlag | Springer |
Publikationsdato | 2023 |
Sider | 24-39 |
ISBN (Trykt) | 9783031380990 |
DOI | |
Status | Udgivet - 2023 |
Begivenhed | 15th International Conference on Reversible Computation, RC 2023 - Giessen, Tyskland Varighed: 18 jul. 2023 → 19 jul. 2023 |
Konference
Konference | 15th International Conference on Reversible Computation, RC 2023 |
---|---|
Land | Tyskland |
By | Giessen |
Periode | 18/07/2023 → 19/07/2023 |
Navn | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Vol/bind | 13960 LNCS |
ISSN | 0302-9743 |
Bibliografisk note
Funding Information:
This work refines and extends the results of discussions that occurred during the meetings of the COST Action IC1405 on Reversible Computation – Extending Horizons of Computing. We thank all the participants to such discussions. The authors were partially supported by the COST Action IC1405. We thank the anonymous referees for their helpful comments.
Publisher Copyright:
© 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.
ID: 366989094