Reversible Machine Code and Its Abstract Processor Architecture

DOI10.1007/978-3-540-74510-5_9MaRDI QIDQ3499767zbMATH OpenOpenAlexFDO

Authors Holger Bock Axelsen, Robert Glück, Tetsuo Yokoyama

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)

Recommendations

• Reversible Flowchart Languages and the Structured Reversible Program Theorem
• A Design-Based Model of Reversible Computation
• Implementing reversible object-oriented language features on reversible machines
• Isomorphic interpreters from logically reversible abstract machines
• Fundamentals of reversible flowchart languages

Cited in

(18)

• Implementing reversible object-oriented language features on reversible machines
• Designing a reversible stack machine
• A categorical foundation for structured reversible flowchart languages
• From reversible programming languages to reversible metalanguages
• Reversible computing from a programming language perspective
• On reversible Turing machines and their function universality
• Reversible arithmetic logic unit for quantum arithmetic
• Toward an energy efficient language and compiler for (partially) reversible algorithms
• Isomorphic interpreters from logically reversible abstract machines
• Garbageless reversible implementation of integer linear transformations
• Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder
• A certified study of a reversible programming language
• A categorical foundation for structured reversible flowchart languages: soundness and adequacy
• Reversify any sequential algorithm
• Semi-inversion of conditional constructor term rewriting systems
• Towards a taxonomy for reversible computation approaches
• Optimization of reversible control flow graphs
• Fundamentals of reversible flowchart languages

This page was built for publication: Reversible Machine Code and Its Abstract Processor Architecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3499767)