Declarative debugging meets the world

DOI10.1016/J.ENTCS.2008.06.034MaRDI QIDQ5403478zbMATH OpenOpenAlexFDO

Authors Wolfgang Lux

Publication date 26 March 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.06.034

zbMATH Keywords

declarative debuggingmonadic I/O

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18) Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A declarative debugging system for lazy functional logic programs
• scientific article; zbMATH DE number 1332636
• scientific article; zbMATH DE number 1692897
• Declarative debugging of functional logic programs
• Declarative Debugging of Rewriting Logic Specifications

Cites work

• A declarative debugging system for lazy functional logic programs
• Comprehending monads
• scientific article; zbMATH DE number 1692897 (Why is no real title available?)
• scientific article; zbMATH DE number 1332636 (Why is no real title available?)
• scientific article; zbMATH DE number 1952947 (Why is no real title available?)

Cited in

(8)

• A core Erlang semantics for declarative debugging
• A declarative debugging system for lazy functional logic programs
• Enhancing declarative debugging with loop expansion and tree compression
• scientific article; zbMATH DE number 5350456 (Why is no real title available?)
• scientific article; zbMATH DE number 5706177 (Why is no real title available?)
• scientific article; zbMATH DE number 1332636 (Why is no real title available?)
• scientific article; zbMATH DE number 1497845 (Why is no real title available?)
• The Prolog debugger and declarative programming

Describes a project that uses

Uses Software

• Haskell
• TOY

This page was built for publication: Declarative debugging meets the world

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