Declarative debugging of concurrent Erlang programs

DOI10.1016/j.jlamp.2018.07.005zbMath1400.68052OpenAlexW2888219112WikidataQ129362262 ScholiaQ129362262MaRDI QIDQ1994356

Adrián Riesco, Enrique Martin-Martin, Salvador Tamarit, Rafael Caballero

Publication date: 1 November 2018

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2018.07.005

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Causal-Consistent Debugging of Distributed Erlang Programs ⋮ A core Erlang semantics for declarative debugging ⋮ Preface to the special issue on open problems in concurrency theory

Uses Software

• MapReduce
• Erlang
• QuickCheck
• McErlang

Cites Work

• Programming languages and systems. Second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4--6, 2004. Proceedings.
• A theory of reversibility for Erlang
• Verification of Erlang programs using abstract interpretation and model checking
• Towards Erlang Verification by Term Rewriting
• Time, clocks, and the ordering of events in a distributed system
• A debugger for concurrent programs

This page was built for publication: Declarative debugging of concurrent Erlang programs