A core Erlang semantics for declarative debugging

DOI10.1016/j.jlamp.2019.05.002zbMath1431.68016OpenAlexW2945559564WikidataQ127843889 ScholiaQ127843889MaRDI QIDQ2329440

Enrique Martin-Martin, Salvador Tamarit, Adrián Riesco, 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)

Uses Software

• QuickCheck
• CauDEr

Cites Work

• Algorithmic debugging generalized
• Cauder: a causal-consistent reversible debugger for Erlang
• A theory of reversibility for Erlang
• Declarative debugging of concurrent Erlang programs
• A reversible semantics for Erlang
• Verification of Erlang programs using abstract interpretation and model checking
• How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
• Towards Erlang Verification by Term Rewriting
• Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees

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