scientific article; zbMATH DE number 1332636

MaRDI QIDQ4259962zbMATH OpenFDO

Authors Lee Naish

Publication date 8 September 1999

Full work available at URL http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1997/A97-03/A97-03.html

zbMATH Keywords

declarative debuggerdeclarative debugging schemeProlog

Mathematics Subject Classification ID

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

Recommendations

• A declarative debugging system for lazy functional logic programs
• Declarative debugging meets the world
• Declarative debugging of functional logic programs
• scientific article; zbMATH DE number 5706177
• A debugging scheme for functional logic programs

Cited in

(25)

• Declarative debugging of rewriting logic specifications
• Declarative debugging of concurrent Erlang programs
• A core Erlang semantics for declarative debugging
• Declarative debugging of functional logic programs
• A declarative debugging system for lazy functional logic programs
• A Debugger-Cooperative Higher-Order Contract System in Python
• Declarative Debugging of Rewriting Logic Specifications
• scientific article; zbMATH DE number 4193098 (Why is no real title available?)
• Declarative Debugging of Membership Equational Logic Specifications
• scientific article; zbMATH DE number 5706177 (Why is no real title available?)
• scientific article; zbMATH DE number 67486 (Why is no real title available?)
• scientific article; zbMATH DE number 1231448 (Why is no real title available?)
• A formal semantics for program debugging
• scientific article; zbMATH DE number 1497845 (Why is no real title available?)
• αCheck: A mechanized metatheory model checker
• The Prolog debugger and declarative programming
• A logical framework for debugging in declarative constraint programming
• A declarative debugger for Maude functional modules
• Functional and Logic Programming
• Declarative debugging meets the world
• A new proposal for debugging Datalog programs
• A Theoretical Framework for the Declarative Debugging of Datalog Programs
• Declarative error diagnosis
• An integrated framework for the diagnosis and correction of rule-based programs
• Completeness of an improved declarative debugger

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 Q4259962)