Declarative debugging of concurrent Erlang programs
type: Item
instance of: scholarly article
title: Declarative debugging of concurrent Erlang programs
zbMATH Open document ID: 1400.68052
author: Enrique Martin-Martin
author: Adrián Riesco
author: Salvador Tamarit
author: Rafael Caballero
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2018-11-01T00:00:00Z
Mathematics Subject Classification ID: 68N19
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 6970278
describes a project that uses: MapReduce
describes a project that uses: Erlang
describes a project that uses: McErlang
describes a project that uses: QuickCheck
MaRDI profile type: Publication
full work available at URL: j.jlamp.2018.07.005
OpenAlex ID: W2888219112
cites work: Programming languages and systems. Second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4--6, 2004. Proceedings.
cites work: Verification of Erlang programs using abstract interpretation and model checking
cites work: Towards Erlang Verification by Term Rewriting
cites work: A theory of reversibility for Erlang
cites work: A debugger for concurrent programs
cites work: Time, clocks, and the ordering of events in a distributed system
Wikidata QID: Q129362262
DOI: 10.1016/J.JLAMP.2018.07.005
Recommended article: A core Erlang semantics for declarative debugging
Recommended article: Causal-Consistent Debugging of Distributed Erlang Programs
Recommended article: Q4259962
Recommended article: Development of a debugger for a concurrent language
Recommended article: Debugging Tools for Concurrent Logic Programming
Recommended article: Q4293514
Recommended article: Q3127246
description: scientific article; zbMATH DE number 6970278