CRIL: a concurrent reversible intermediate language

DOI10.4204/EPTCS.387.11MaRDI QIDQ6953857zbMATH OpenFDO

Authors Shunya Oguchi, Shoji Yuen

Publication date 24 July 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4204/EPTCS.387.11

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• A distributed operational view of reversible prime event structures
• A reversible runtime environment for parallel programs
• A theory of reversibility for Erlang
• An axiomatic approach to reversible computation
• Compiling Janus to RSSA
• CONCUR 2004 - Concurrency Theory
• Data structures and dynamic memory management in reversible languages
• Event identifier logic
• Garbage Collection for Reversible Functional Languages
• Optimizing reversible programs
• Reversibility and asymmetric conflict in event structures
• Reversing algebraic process calculi
• Reversing Higher-Order Pi
• RSSA: A Reversible SSA Form
• Static versus dynamic reversibility in CCS
• Towards a reversible functional language
• Towards a Unified Language Architecture for Reversible Object-Oriented Programming
• Towards causal-consistent reversibility of imperative concurrent programs

Cited in

(1)

• Tallulah, a tool to support the axiomatic approach to causal-consistent reversibility

This page was built for publication: CRIL: a concurrent reversible intermediate language

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