What Do Reversible Programs Compute? (original) (raw)
Related papers
A structural approach to reversible computation
2005
A Design-based model of reversible computation
2006
An investigation of some theoretical aspects of reversible computing
2014
Reversible simulation of irreversible computation
Physica D: Nonlinear Phenomena, 1998
Reversible Computing: An Introduction
International Scientific Journals
Automata, Languages and Programming, 1980
Time/Space Trade-Offs for Reversible Computation
SIAM Journal on Computing, 1989
A Turing machine formalism suitable for the characterisation of determinism and reversibility
Early pioneers to reversible computation
2014
Simulating reversible computation with reaction systems
Journal of Membrane Computing, 2020
Undecidability and Reversibility
CR: New Centennial Review, 2021
Electronic Notes in Theoretical …, 2007
Introducing Yet Another REversible Language
2019
2010
A unification of probabilistic choice within a design-based model of reversible computation
Formal Aspects of Computing, 2013
Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms
Lecture Notes in Computer Science, 2016
Arithmetic logical irreversibility and the Turing halting problem
2023
On Reversibility and Determinism in P Systems
Lecture Notes in Computer Science, 2010
A characterization of reversal-bounded multipushdown machine languages
Springer eBooks, 2006
Logical Reversibility of Computation
IBM Journal of Research and Development, 1973
Applying Reversibility Theory for the Performance Evaluation of Reversible Computations
Lecture Notes in Computer Science, 2016
Clean Translation of an Imperative Reversible Programming Language
Linear programs in a simple reversible language
Theoretical Computer Science, 2003
Towards Designing a Reversible Processor Architecture
Reversible Logic as a Stepping Stone to Quantum Computing
Advances in information quality and management, 2014
Citeseer
A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs
Reversible Computation: Extending Horizons of Computing
Towards Reverse Engineering Reversible Logic
ArXiv, 2017
Even Turing Machines Can Compute Uncomputable Functions
2000
Recursive AOP for Reversible Software
Baltic Journal of Modern Computing
Bibliography of Papers related to Reversible Logic
Design, Automation, and Test in Europe, 2004