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
From MaRDI portal
Publication:2841284
DOI10.1016/S1571-0661(04)80345-1zbMath1268.68062WikidataQ57978270 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
68N18: Functional programming and lambda calculus
68N17: Logic programming
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Functional Logic Programming: From Theory to Curry, 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.
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
