Concurrent RSSA for CRIL: flow analysis for a concurrent reversible programming language

DOI10.1007/978-3-031-62076-8_12MaRDI QIDQ6637597zbMATH OpenFDO

Authors Shunya Oguchi, Shoji Yuen

Publication date 13 November 2024

Mathematics Subject Classification ID

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

Cites work

• A reversible debugger for imperative parallel programs with contracts
• An axiomatic approach to reversible computation
• An axiomatic theory for reversible computation
• Compiling Janus to RSSA
• Modern Compiler Implementation in Java
• Optimization of reversible control flow graphs
• Optimizing reversible programs
• RSSA: A Reversible SSA Form
• Reversing algebraic process calculi
• Towards a Unified Language Architecture for Reversible Object-Oriented Programming
• Towards a reversible functional language

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)