scientific article; zbMATH DE number 512882

MaRDI QIDQ4281583zbMATH OpenFDO

Authors Michael Hanus, Berthold Josephs

Publication date 10 March 1994

zbMATH Keywords

debuggingfunctional logic language ALFoperational semantics

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A debugging scheme for functional logic programs
• Abstract Diagnosis of First Order Functional Logic Programs
• Declarative debugging of functional logic programs
• A declarative debugging system for lazy functional logic programs
• scientific article; zbMATH DE number 1692897

Cited in

(6)

• Logical debugging
• Declarative debugging of functional logic programs
• A debugging scheme for functional logic programs
• Abstract Diagnosis of First Order Functional Logic Programs
• A formal semantics for program debugging
• An integrated framework for the diagnosis and correction of rule-based programs

This page was built for publication:

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