Reversible Machine Code and Its Abstract Processor Architecture

DOI10.1007/978-3-540-74510-5_9zbMath1188.68108OpenAlexW1529830543MaRDI QIDQ3499767

Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück

Publication date: 3 June 2008

Published in: Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74510-5_9

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Reversible arithmetic logic unit for quantum arithmetic, A categorical foundation for structured reversible flowchart languages, From reversible programming languages to reversible metalanguages, On reversible Turing machines and their function universality, Garbageless Reversible Implementation of Integer Linear Transformations, Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms, Semi-inversion of Conditional Constructor Term Rewriting Systems, Fundamentals of reversible flowchart languages, Towards a taxonomy for reversible computation approaches, Optimization of reversible control flow graphs, Reversible computing from a programming language perspective, Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder, A categorical foundation for structured reversible flowchart languages: Soundness and adequacy, A Certified Study of a Reversible Programming Language, Designing a reversible stack machine