A Declarative Debugging System for Lazy Functional Logic Programs

DOI10.1016/S1571-0661(04)80349-9zbMath1268.68064OpenAlexW2113740617MaRDI QIDQ2841290

Mario Rodríguez Artalejo, Rafael Caballero

Publication date: 24 July 2013

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

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80349-9

Mathematics Subject Classification ID

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

Related Items (4)

An integrated framework for the diagnosis and correction of rule-based programs ⋮ A new generic scheme for functional logic programming with constraints ⋮ Declarative Debugging Meets the World ⋮ A Logical Framework for Debugging in Declarative Constraint Programming

Uses Software

• ML
• Haskell
• Kernel-LEAF
• TOY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Declarative error diagnosis
• On the algebraic specification of infinite objects - ordered and continuous models of algebraic types
• A theory of type polymorphism in programming
• A model-theoretic reconstruction of the operational semantics of logic programs
• Kernel-LEAF: A logic plus functional language
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• The integration of functions into logic programming: From theory to practice
• Abstract diagnosis
• An approach to declarative programming based on a rewriting logic

This page was built for publication: A Declarative Debugging System for Lazy Functional Logic Programs