Completeness of an improved declarative debugger

DOI10.1016/0893-9659(91)90134-HMaRDI QIDQ808236zbMATHOpenAlexFDO

Authors Lee Naish, Song Yuan Yan

Publication date 1991

Published in Applied Mathematics Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0893-9659(91)90134-h

zbMATH Keywords

completenessdeclarative debugging

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Completeness of a top-down declarative error diagnoser
• A complete declarative debugger for Maude
• A declarative debugging system for lazy functional logic programs
• scientific article; zbMATH DE number 1332636
• Declarative debugging of functional logic programs

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• Completeness of a top-down declarative error diagnoser
• Declarative error diagnosis
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method

Cited in

(1)

• Completeness of a top-down declarative error diagnoser

This page was built for publication: Completeness of an improved declarative debugger

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