Concurrent RSSA for CRIL: flow analysis for a concurrent reversible programming language
From MaRDI portal
Publication:6637597
DOI10.1007/978-3-031-62076-8_12MaRDI QIDQ6637597FDOQ6637597
Authors: Shunya Oguchi, Shoji Yuen 
Publication date: 13 November 2024
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Other nonclassical models of computation (68Q09)
Cites Work
- Reversing algebraic process calculi
- Towards a reversible functional language
- An axiomatic approach to reversible computation
- Modern Compiler Implementation in Java
- Optimizing reversible programs
- A reversible debugger for imperative parallel programs with contracts
- RSSA: A Reversible SSA Form
- Compiling Janus to RSSA
- Towards a Unified Language Architecture for Reversible Object-Oriented Programming
- Optimization of reversible control flow graphs
- An axiomatic theory for reversible computation
This page was built for publication: Concurrent RSSA for CRIL: flow analysis for a concurrent reversible programming language
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6637597)
