Reversible term rewriting

DOI10.4230/LIPICS.FSCD.2016.28MaRDI QIDQ5369493zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

program transformationreversible computationterm rewriting

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• Reversible computation in term rewriting
• A reversible semantics for Erlang
• Reversible Programs Have Reversible Semantics
• A theory of reversibility for Erlang
• Causal-consistent reversibility

Cited in

(10)

• Reversible computation in term rewriting
• A theory of reversibility for Erlang
• The \(\aleph \)-calculus. A declarative model of reversible programming
• A reversible semantics for Erlang
• scientific article; zbMATH DE number 1231662 (Why is no real title available?)
• Symbol different term rewrite systems
• Causal-consistent replay reversible semantics for message passing concurrent programs
• Reversify any sequential algorithm
• Reversible Top-Down Syntax Analysis
• Murg term rewrite systems

This page was built for publication: Reversible term rewriting

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