Compiling Janus to RSSA

DOI10.1007/978-3-030-79837-6_4OpenAlexW3175415030MaRDI QIDQ5162601

Uwe Meyer, Marc Schuster, Martin Kutrib, Niklas Deworetzki

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

reversible programming languagesJanusreverse computingreversible static-single-assignment

Mathematics Subject Classification ID

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

Related Items (3)

Reversible computing from a programming language perspective ⋮ Designing a reversible stack machine ⋮ Optimizing reversible programs

Cites Work

• Fundamentals of reversible flowchart languages
• RSSA: A Reversible SSA Form
• Irreversibility and Heat Generation in the Computing Process
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Compiling Janus to RSSA