Algorithmic debugging generalized

DOI10.1016/J.JLAMP.2018.02.003zbMath1395.68094OpenAlexW2790472135WikidataQ130169770 ScholiaQ130169770MaRDI QIDQ1647965

David Insa, Josep Silva

Publication date: 27 June 2018

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

Full work available at URL: http://hdl.handle.net/10251/121763

zbMATH Keywords

transformationgeneralizationalgorithmic debugging

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

A core Erlang semantics for declarative debugging

Cites Work

• Declarative error diagnosis
• Enhancing Declarative Debugging with Loop Expansion and Tree Compression
• A vocabulary of program slicing-based techniques
• 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

This page was built for publication: Algorithmic debugging generalized