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) Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)

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

• 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?)
• A declarative debugging system for lazy functional logic programs
• Comprehending monads

Cited in

(6)

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

Describes a project that uses

Uses Software

• TOY
• Haskell

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)