scientific article; zbMATH DE number 1332636

zbMath0924.68125MaRDI QIDQ4259962

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Prologdeclarative debuggerdeclarative debugging scheme

Mathematics Subject Classification ID

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

Related Items

Declarative Debugging of Rewriting Logic Specifications ⋮ An integrated framework for the diagnosis and correction of rule-based programs ⋮ Declarative debugging of rewriting logic specifications ⋮ αCheck: A mechanized metatheory model checker ⋮ Declarative Debugging of Membership Equational Logic Specifications ⋮ Declarative Debugging Meets the World ⋮ A New Proposal for Debugging Datalog Programs ⋮ A Logical Framework for Debugging in Declarative Constraint Programming ⋮ A Declarative Debugger for Maude Functional Modules ⋮ Declarative Debugging of Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Accóon Integrada Hispano-Italiana HI2000-0161 and by Generalitat Valenciana under grant GV01-424. ⋮ A Declarative Debugging System for Lazy Functional Logic Programs ⋮ A Theoretical Framework for the Declarative Debugging of Datalog Programs