A core Erlang semantics for declarative debugging

DOI10.1016/J.JLAMP.2019.05.002MaRDI QIDQ2329440zbMATH OpenOpenAlexWikidataFDO

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

Publication date 17 October 2019

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.2019.05.002

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Declarative debugging of concurrent Erlang programs
• scientific article; zbMATH DE number 1332636
• Declarative debugging of functional logic programs
• Declarative debugging meets the world
• Using big-step and small-step semantics in Maude to perform declarative debugging

Cites work

• A reversible semantics for Erlang
• A theory of reversibility for Erlang
• Algorithmic debugging generalized
• Cauder: a causal-consistent reversible debugger for Erlang
• Declarative debugging of concurrent Erlang programs
• How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
• Simplifying questions in Maude declarative debugger by transforming proof trees
• Towards Erlang verification by term rewriting
• Verification of Erlang programs using abstract interpretation and model checking

Cited in

(1)

• Declarative debugging of concurrent Erlang programs

Describes a project that uses

Uses Software

• CauDEr
• QuickCheck

This page was built for publication: A core Erlang semantics for declarative debugging

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