RSSA: A Reversible SSA Form
From MaRDI portal
Publication:3179177
DOI10.1007/978-3-319-41579-6_16zbMath1461.68053OpenAlexW2482524050MaRDI QIDQ3179177
Publication date: 21 December 2016
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-41579-6_16
Related Items
Optimization of reversible control flow graphs, Towards a dereversibilizer: fewer asserts, statically, Reversible computing from a programming language perspective, Compiling Janus to RSSA, Designing a reversible stack machine, Optimizing reversible programs
Uses Software
Cites Work
