A Generalized Model for Algorithmic Debugging

DOI10.1007/978-3-319-27436-2_16zbMath1473.68045OpenAlexW2403826555MaRDI QIDQ5743598

Josep Silva, David Insa

Publication date: 5 February 2016

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• 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: A Generalized Model for Algorithmic Debugging