Compiling Janus to RSSA

DOI10.1007/978-3-030-79837-6_4MaRDI QIDQ5162601zbMATH OpenOpenAlexFDO

Authors Martin Kutrib, Uwe Meyer, Niklas Deworetzki, Marc Schuster

Publication date 3 November 2021

Published in Reversible Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-79837-6_4

zbMATH Keywords

Janusreverse 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

• 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 1006119 (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

(5)

• Designing a reversible stack machine
• Optimizing reversible programs
• Reversible computing from a programming language perspective
• Concurrent RSSA for CRIL: flow analysis for a concurrent reversible programming language
• CRIL: a concurrent reversible intermediate language

This page was built for publication: Compiling Janus to RSSA

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