Declarative debugging of functional logic programs
From MaRDI portal
Recommendations
- A debugging scheme for functional logic programs
- scientific article; zbMATH DE number 1692897
- Abstract Diagnosis of First Order 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
Cites work
- scientific article; zbMATH DE number 1692897 (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 1332636 (Why is no real title available?)
- scientific article; zbMATH DE number 1332654 (Why is no real title available?)
- scientific article; zbMATH DE number 512882 (Why is no real title available?)
- scientific article; zbMATH DE number 1142316 (Why is no real title available?)
- 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 modeling of the operational behavior of logic languages
- Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
- Foundations of equational logic programming
- Higher-order narrowing with definitional trees
- Kernel-LEAF: A logic plus functional language
- Logic programming with functions and predicates: The language Babel
- Logic programs as specifications in the inductive verification of logic programs
- Narrowing vs. SLD-resolution
- The integration of functions into logic programming: From theory to practice
Cited in
(27)- Information-gain computation in the \textsc{Fifth} system
- Declarative debugging in constraint logic programming
- A core Erlang semantics for declarative debugging
- Declarative debugging meets the world
- A Theoretical Framework for the Declarative Debugging of Datalog Programs
- Termination of narrowing revisited
- Foundations of declarative testing in arbitrary logic programming
- scientific article; zbMATH DE number 1692897 (Why is no real title available?)
- 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
- Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming
- scientific article; zbMATH DE number 517022 (Why is no real title available?)
- A theoretical framework for the declarative debugging of functional logic programs with lambda abstractions
- A compact fixpoint semantics for term rewriting systems
- Proof-directed debugging
- Abstract diagnosis of functional programs
- Transformation and debugging of functional logic programs
- A logical framework for debugging in declarative constraint programming
- Cost-sensitive diagnosis of declarative programs
- A framework for interpreting traces of functional logic computations
- scientific article; zbMATH DE number 1615263 (Why is no real title available?)
- Algorithmic debugging of SQL views
- Functional and Logic Programming
- A debugging scheme for functional logic programs
- A declarative debugging system for lazy functional logic programs
- scientific article; zbMATH DE number 5706177 (Why is no real title available?)
This page was built for publication: Declarative debugging of functional logic programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2841221)
