Reversible Computation and Reversible Programming Languages
Open Access
- 4 March 2010
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 253 (6), 71-81
- https://doi.org/10.1016/j.entcs.2010.02.007
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Combinators for bidirectional tree transformationsACM Transactions on Programming Languages and Systems, 2007
- Reversible combinatory logicMathematical Structures in Computer Science, 2006
- The decomposition of an arbitrary reversible logic circuitJournal of Physics A: General Physics, 2006
- Reverse EngineeringAmerican Scientist, 2006
- Introduction to reversible computingPublished by Association for Computing Machinery (ACM) ,2005
- Reversible Turing Machines and Polynomial Time Reversibly Computable FunctionsSIAM Journal on Discrete Mathematics, 1990
- Notes on the history of reversible computationIBM Journal of Research and Development, 1988
- Conservative logicInternational Journal of Theoretical Physics, 1982
- Logical Reversibility of ComputationIBM Journal of Research and Development, 1973
- Flow diagrams, turing machines and languages with only two formation rulesCommunications of the ACM, 1966