Algorithmic debugging generalized
type: Item
instance of: scholarly article
title: Algorithmic debugging generalized
zbMATH Open document ID: 1395.68094
author: David Insa
author: Josep Silva
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2018-06-27T00:00:00Z
full work available at URL: http://hdl.handle.net/10251/121763
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 6894964
zbMATH Keywords: algorithmic debugging
zbMATH Keywords: transformation
zbMATH Keywords: generalization
MaRDI profile type: Publication
OpenAlex ID: W2790472135
cites work: Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees
cites work: Enhancing Declarative Debugging with Loop Expansion and Tree Compression
cites work: Declarative error diagnosis
cites work: How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
cites work: A vocabulary of program slicing-based techniques
Wikidata QID: Q130169770
DOI: 10.1016/J.JLAMP.2018.02.003
description: scientific article; zbMATH DE number 6894964