Optimizing reversible programs

DOI10.1007/978-3-031-09005-9_16OpenAlexW4293210559MaRDI QIDQ2097435

Martin Kutrib, Niklas Deworetzki, Pia-Doreen Ritzke, Uwe Meyer

Publication date: 11 November 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-09005-9_16

zbMATH Keywords

optimizationreversible programming languagesJanusreverse computingreversible static-single-assignment

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Other nonclassical models of computation (68Q09)

Related Items (2)

Optimization of reversible control flow graphs ⋮ Towards a dereversibilizer: fewer asserts, statically

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fundamentals of reversible flowchart languages
• Designing a reversible stack machine
• RSSA: A Reversible SSA Form
• Irreversibility and Heat Generation in the Computing Process
• Compiling Janus to RSSA

This page was built for publication: Optimizing reversible programs