Reversible Term Rewriting
From MaRDI portal
Publication:5369493
DOI10.4230/LIPIcs.FSCD.2016.28zbMath1387.68147OpenAlexW2506994270MaRDI QIDQ5369493
Naoki Nishida, Adrián Palacios, Germán Vidal
Publication date: 17 October 2017
Full work available at URL: http://dx.doi.org/10.4230/LIPIcs.FSCD.2016.28
Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
Reversible computation in term rewriting ⋮ A theory of reversibility for Erlang ⋮ Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs ⋮ The \(\aleph \)-calculus. A declarative model of reversible programming
This page was built for publication: Reversible Term Rewriting
