Completeness of an improved declarative debugger

DOI10.1016/0893-9659(91)90134-HzbMATH Open0731.68024OpenAlexW2000890615MaRDI QIDQ808236FDOQ808236

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

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

zbMATH Keywords

completenessdeclarative debugging

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Title not available (Why is that?)
• Declarative error diagnosis
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• Completeness of a top-down declarative error diagnoser

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)