Optimizing reversible programs

DOI10.1007/978-3-031-09005-9_16MaRDI QIDQ2097435zbMATH OpenOpenAlexFDO

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

Publication date 11 November 2022

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

zbMATH Keywords

Janusoptimizationreverse computingreversible programming languagesreversible static-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

• Compiling Janus to RSSA
• Designing a reversible stack machine
• Fundamentals of reversible flowchart languages
• scientific article; zbMATH DE number 5344975 (Why is no real title available?)
• scientific article; zbMATH DE number 3485178 (Why is no real title available?)
• scientific article; zbMATH DE number 1027561 (Why is no real title available?)
• Irreversibility and Heat Generation in the Computing Process
• RSSA: A Reversible SSA Form

Cited in

(7)

• Programs with restoration of computations
• Program reversals for evolutions with non-uniform step costs
• Reversible Functional Array Programming
• Optimization of reversible control flow graphs
• Towards a dereversibilizer: fewer asserts, statically
• Concurrent RSSA for CRIL: flow analysis for a concurrent reversible programming language
• CRIL: a concurrent reversible intermediate language

This page was built for publication: Optimizing reversible programs

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