Declarative Debugging Meets the World

DOI10.1016/j.entcs.2008.06.034zbMath1283.68124OpenAlexW2090182820MaRDI QIDQ5403478

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

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

Uses Software

• Haskell
• TOY

Cites Work

• A Declarative Debugging System for Lazy Functional Logic Programs
• Comprehending monads
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Declarative Debugging Meets the World