A debugging scheme for functional logic programs

DOI10.1016/S1571-0661(04)80345-1MaRDI QIDQ2841284zbMATH OpenOpenAlexWikidataFDO

Authors Franciso Correa, María Alpuente, M. Falaschi

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)80345-1

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 512882
• Declarative debugging of functional logic programs
• A declarative debugging system for lazy functional logic programs
• A theoretical framework for the declarative debugging of functional logic programs with lambda abstractions
• Transformation and debugging of functional logic programs
• scientific article; zbMATH DE number 1692897
• A logical framework for debugging in declarative constraint programming
• Declarative Debugging of Rewriting Logic Specifications
• Declarative debugging of rewriting logic specifications

Cites work

• A debugging scheme for functional logic programs
• A model-theoretic reconstruction of the operational semantics of logic programs
• A needed narrowing strategy
• Abstract diagnosis
• Analyses of unsatisfiability for equational logic programming
• Declarative debugging of functional logic programs
• Declarative modeling of the operational behavior of logic languages
• Enumerating outer narrowing derivations for constructor-based term rewriting systems
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• Evaluation strategies for functional logic programming
• Foundations of equational logic programming
• Higher-order narrowing with definitional trees
• scientific article; zbMATH DE number 1696592 (Why is no real title available?)
• scientific article; zbMATH DE number 3942988 (Why is no real title available?)
• scientific article; zbMATH DE number 4053009 (Why is no real title available?)
• scientific article; zbMATH DE number 108434 (Why is no real title available?)
• scientific article; zbMATH DE number 193539 (Why is no real title available?)
• scientific article; zbMATH DE number 1332654 (Why is no real title available?)
• scientific article; zbMATH DE number 1088019 (Why is no real title available?)
• scientific article; zbMATH DE number 194907 (Why is no real title available?)
• Induction of logic programs by example-guided unfolding
• Inductive Logic Programming: Theory and methods
• Kernel-LEAF: A logic plus functional language
• Logic programming with functions and predicates: The language Babel
• Narrowing vs. SLD-resolution
• The integration of functions into logic programming: From theory to practice

Cited in

(25)

• Logical debugging
• scientific article; zbMATH DE number 1615263 (Why is no real title available?)
• 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
• A declarative debugging system for lazy functional logic programs
• Cost-sensitive diagnosis of declarative programs
• Abstract correction of first-order functional programs
• A framework for interpreting traces of functional logic computations
• Abstract Diagnosis of First Order Functional Logic Programs
• Abstract diagnosis of functional programs
• scientific article; zbMATH DE number 4211480 (Why is no real title available?)
• EDUCATIONAL PEARL: ‘Proof-directed debugging’ revisited for a first-order version
• A theoretical framework for the declarative debugging of functional logic programs with lambda abstractions
• Transformation and debugging of functional logic programs
• scientific article; zbMATH DE number 1332636 (Why is no real title available?)
• scientific article; zbMATH DE number 512882 (Why is no real title available?)
• A formal semantics for program debugging
• scientific article; zbMATH DE number 1956545 (Why is no real title available?)
• A proof theoretic approach to failure in functional logic programming
• Functional Logic Programming: From Theory to Curry
• Proof-directed debugging
• A logical framework for debugging in declarative constraint programming
• Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming
• An integrated framework for the diagnosis and correction of rule-based programs

Describes a project that uses

Uses Software

• BABEL
• Kernel-LEAF
• Curry

This page was built for publication: A debugging scheme for functional logic programs

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