Optimization of reversible control flow graphs

DOI10.1007/978-3-031-38100-3_5MaRDI QIDQ6148107

Lukas Gail, Niklas Deworetzki

Publication date: 11 January 2024

Published in: Reversible Computation (Search for Journal in Brave)

zbMATH Keywords

reversible computationcontrol flowcompiler optimizationsreversible programming languages

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Join inverse categories and reversible recursion
• Fundamentals of reversible flowchart languages
• Optimizing reversible programs
• Reversible computing from a programming language perspective
• Towards a Reversible Functional Language
• RSSA: A Reversible SSA Form
• Reversible Machine Code and Its Abstract Processor Architecture
• Irreversibility and Heat Generation in the Computing Process
• Logical Reversibility of Computation