Completeness of a top-down declarative error diagnoser

DOI10.1080/00207168908803732zbMATH Open0682.68015OpenAlexW2033041410MaRDI QIDQ4732090FDOQ4732090

Authors: Song Yuan Yan 

Publication date: 1989

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207168908803732

Recommendations

• Declarative error diagnosis
• Completeness of an improved declarative debugger
• Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming
• Correctness and completeness of logic programs
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method

zbMATH Keywords

completenesslogic programmingdeclarative error diagnosis

Mathematics Subject Classification ID

Artificial intelligence (68T99) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Title not available (Why is that?)
• Declarative error diagnosis

Cited In (2)

• Declarative error diagnosis
• Completeness of an improved declarative debugger

This page was built for publication: Completeness of a top-down declarative error diagnoser

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