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 Valenci

DOI10.1016/S1571-0661(04)80345-1zbMath1268.68062OpenAlexW2067151481WikidataQ57978270 ScholiaQ57978270MaRDI QIDQ2841284

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

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 (2)

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. ⋮ Functional Logic Programming: From Theory to Curry

Uses Software

• BABEL
• Curry
• Kernel-LEAF

Cites Work

• Declarative modeling of the operational behavior of logic languages
• Narrowing vs. SLD-resolution
• Enumerating outer narrowing derivations for constructor-based term rewriting systems
• Foundations of equational logic programming
• A model-theoretic reconstruction of the operational semantics of logic programs
• Kernel-LEAF: A logic plus functional language
• Evaluation Strategies for Functional Logic Programming
• 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.
• 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.
• 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
• Induction of logic programs by example-guided unfolding
• The integration of functions into logic programming: From theory to practice
• Inductive Logic Programming: Theory and methods
• Analyses of unsatisfiability for equational logic programming
• Abstract diagnosis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: 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 Valenci