A reversible semantics for Erlang
From MaRDI portal
Publication:2409740
DOI10.1007/978-3-319-63139-4_15zbMath1485.68032arXiv1608.05521OpenAlexW2739076725MaRDI QIDQ2409740
Germán Vidal, Naoki Nishida, Adrián Palacios
Publication date: 13 October 2017
Full work available at URL: https://arxiv.org/abs/1608.05521
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)
Related Items (7)
Prefix-based tracing in message-passing concurrency ⋮ Causal-consistent replay debugging for message passing programs ⋮ Program equivalence in an untyped, call-by-value functional language with uncurried functions ⋮ A theory of reversibility for Erlang ⋮ Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs ⋮ A core Erlang semantics for declarative debugging ⋮ Algeo: an algebraic approach to reversibility
Uses Software
This page was built for publication: A reversible semantics for Erlang
