Connecting reversible and classical computing through hybrid SSA

DOI10.1007/978-3-031-62076-8_11MaRDI QIDQ6637595zbMATH OpenFDO

Authors Lukas Gail, Uwe Meyer

Publication date 13 November 2024

Full work available at URL https://doi.org/10.1007/978-3-031-62076-8_11

zbMATH Keywords

intermediate languagespartial reversibilityreversible computingreversible programming languagesstatic single assignment

Mathematics Subject Classification ID

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

Cites work

• Irreversibility and Heat Generation in the Computing Process
• Optimization of reversible control flow graphs
• Reversible computing from a programming language perspective
• Reversible Flowchart Languages and the Structured Reversible Program Theorem
• RSSA: A Reversible SSA Form

This page was built for publication: Connecting reversible and classical computing through hybrid SSA

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