A declarative debugging system for lazy functional logic programs

DOI10.1016/S1571-0661(04)80349-9MaRDI QIDQ2841290zbMATH OpenOpenAlexFDO

Authors M. 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

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

Recommendations

• scientific article; zbMATH DE number 1692897
• Declarative debugging of functional logic programs
• A debugging scheme for functional logic programs
• A theoretical framework for the declarative debugging of functional logic programs with lambda abstractions
• Declarative debugging meets the world

Cites work

• A model-theoretic reconstruction of the operational semantics of logic programs
• A theory of type polymorphism in programming
• Abstract diagnosis
• An approach to declarative programming based on a rewriting logic
• Declarative error diagnosis
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• 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 1142322 (Why is no real title available?)
• Kernel-LEAF: A logic plus functional language
• On the algebraic specification of infinite objects - ordered and continuous models of algebraic types
• Polymorphic types in functional logic programming
• The integration of functions into logic programming: From theory to practice

Cited in

(19)

• Adapting combinator and SECD machines to display snapshots of functional computations
• scientific article; zbMATH DE number 1692897 (Why is no real title available?)
• Declarative debugging of functional logic programs
• A debugging scheme for functional logic programs
• Enhancing declarative debugging with loop expansion and tree compression
• A theoretical framework for the declarative debugging of functional logic programs with lambda abstractions
• A Program Transformation for Tracing Functional Logic Computations
• scientific article; zbMATH DE number 1332636 (Why is no real title available?)
• scientific article; zbMATH DE number 512882 (Why is no real title available?)
• scientific article; zbMATH DE number 517022 (Why is no real title available?)
• The Prolog debugger and declarative programming
• A logical framework for debugging in declarative constraint programming
• Functional and Logic Programming
• Declarative debugging meets the world
• A new proposal for debugging Datalog programs
• Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming
• An integrated framework for the diagnosis and correction of rule-based programs
• Completeness of an improved declarative debugger
• A new generic scheme for functional logic programming with constraints

Describes a project that uses

Uses Software

• ML
• Haskell
• Kernel-LEAF
• TOY

This page was built for publication: A declarative debugging system for lazy functional logic programs

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