scientific article; zbMATH DE number 5706177

MaRDI QIDQ3558859zbMATH OpenFDO

Authors Lee Naish

Publication date 10 May 2010

Full work available at URL http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2008/A2008-01/JFLP-A2008-01.pdf

zbMATH Keywords

search strategy

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Searching and sorting (68P10)

Recommendations

• A debugger for probabilistic programs
• scientific article; zbMATH DE number 1332636
• Constraint-based debugging in probabilistic model checking
• Declarative debugging meets the world
• Proof-directed debugging
• Declarative debugging of functional logic programs
• The Prolog debugger and declarative programming
• Declarative Debugging of Rewriting Logic Specifications
• Declarative debugging of rewriting logic specifications

Cited in

(5)

• Information-gain computation in the \textsc{Fifth} system
• Debugging and testing of Prolog programs
• Cost-sensitive diagnosis of declarative programs
• scientific article; zbMATH DE number 1332636 (Why is no real title available?)
• A debugger for probabilistic 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 Q3558859)