Completeness of an improved declarative debugger

DOI10.1016/0893-9659(91)90134-HzbMath0731.68024OpenAlexW2000890615MaRDI QIDQ808236

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)

Cites Work

• Unnamed Item
• Declarative error diagnosis
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• Completeness of a top-down declarative error diagnoser

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