Connecting reversible and classical computing through hybrid SSA

DOI10.1007/978-3-031-62076-8_11MaRDI QIDQ6637595

Could not fetch data.

Publication date: 13 November 2024

zbMATH Keywords

static single assignmentreversible computingreversible programming languagespartial reversibilityintermediate 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

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

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)