Pages that link to "Item:Q3499767"
From MaRDI portal
The following pages link to Reversible Machine Code and Its Abstract Processor Architecture (Q3499767):
Displayed 15 items.
- On reversible Turing machines and their function universality (Q303695) (← links)
- Fundamentals of reversible flowchart languages (Q896906) (← links)
- Designing a reversible stack machine (Q2097410) (← links)
- A categorical foundation for structured reversible flowchart languages (Q2130590) (← links)
- From reversible programming languages to reversible metalanguages (Q2139051) (← links)
- Reversible computing from a programming language perspective (Q2693633) (← links)
- Reversible arithmetic logic unit for quantum arithmetic (Q3161083) (← links)
- Toward an Energy Efficient Language and Compiler for (Partially) Reversible Algorithms (Q3186588) (← links)
- Garbageless Reversible Implementation of Integer Linear Transformations (Q3453748) (← links)
- Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder (Q3543346) (← links)
- A Certified Study of a Reversible Programming Language (Q4580228) (← links)
- A categorical foundation for structured reversible flowchart languages: Soundness and adequacy (Q4585070) (← links)
- Semi-inversion of Conditional Constructor Term Rewriting Systems (Q5097640) (← links)
- Towards a taxonomy for reversible computation approaches (Q6148104) (← links)
- Optimization of reversible control flow graphs (Q6148107) (← links)