Cost-sensitive diagnosis of declarative programs

MaRDI QIDQ2844058zbMATH OpenFDO

Authors C. Ferri, J. Hernández-Orallo, M. J. Ramírez-Quintana, D. Ballis, M. Falaschi

Publication date 27 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104806959

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 5706177
• An integrated framework for the diagnosis and correction of rule-based programs
• Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming
• Declarative debugging of functional logic programs
• A debugging scheme for functional logic programs

Cited in

(5)

• Certifying and Reasoning on Cost Annotations of Functional Programs
• A Dependently Typed Framework for Static Analysis of Program Execution Costs
• scientific article; zbMATH DE number 1974023 (Why is no real title available?)
• An integrated framework for the diagnosis and correction of rule-based programs
• On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging

This page was built for publication: Cost-sensitive diagnosis of declarative programs

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