Declarative Debugging of Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Accóon Integrada Hispano-Italiana HI2000-0161 and by Generalitat Valenciana under grant GV01-424.

DOI10.1016/S1571-0661(04)00266-XzbMath1268.68091OpenAlexW2059196002WikidataQ57978282 ScholiaQ57978282MaRDI QIDQ2841221

F. Correa, María Alpuente, Moreno 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)00266-x

Mathematics Subject Classification ID

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

Related Items (4)

A Debugging Scheme for Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Acción Integrada Hispano-Italiana HI2000-0161, Acción Integrada Hispano-Alemana HA2001-0059 and by Generalitat Valenciana under grant GV01-424. ⋮ An integrated framework for the diagnosis and correction of rule-based programs ⋮ A compact fixpoint semantics for term rewriting systems ⋮ Termination of narrowing revisited

Uses Software

• BABEL
• Curry
• Kernel-LEAF

Cites Work

• Declarative modeling of the operational behavior of logic languages
• Narrowing vs. SLD-resolution
• Foundations of equational logic programming
• A model-theoretic reconstruction of the operational semantics of logic programs
• Kernel-LEAF: A logic plus functional language
• A needed narrowing strategy
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• Logic programming with functions and predicates: The language Babel
• Higher-order narrowing with definitional trees
• The integration of functions into logic programming: From theory to practice
• Analyses of unsatisfiability for equational logic programming
• Abstract diagnosis
• Logic programs as specifications in the inductive verification of logic programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Declarative Debugging of Functional Logic Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Accóon Integrada Hispano-Italiana HI2000-0161 and by Generalitat Valenciana under grant GV01-424.