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. (Q2841284): Difference between revisions

Latest revision as of 09:30, 30 July 2024

scientific article

Language	Label	Description	Also known as
English	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.	scientific article

Statements

instance of

scholarly article

0 references

title

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. (English)

@@ Property / describes a project that uses @@
+BABEL
@@ Property / describes a project that uses: BABEL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kernel-LEAF
@@ Property / describes a project that uses: Kernel-LEAF / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Curry
@@ Property / describes a project that uses: Curry / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+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.
+Normal rank
@@ Property / cites work @@
+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.
+Normal rank
@@ Property / cites work @@
+Analyses of unsatisfiability for equational logic programming
+Normal rank
@@ Property / cites work @@
+Q4364365
@@ Property / cites work: Q4364365 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766777
@@ Property / cites work: Q2766777 / rank @@
+Normal rank
@@ Property / cites work @@
+Evaluation Strategies for Functional Logic Programming
+Normal rank
@@ Property / cites work @@
+A needed narrowing strategy
@@ Property / cites work: A needed narrowing strategy / rank @@
+Normal rank
@@ Property / cites work @@
+Q3713559
@@ Property / cites work: Q3713559 / rank @@
+Normal rank
@@ Property / cites work @@
+Narrowing vs. SLD-resolution
@@ Property / cites work: Narrowing vs. SLD-resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Induction of logic programs by example-guided unfolding
+Normal rank
@@ Property / cites work @@
+Abstract diagnosis
@@ Property / cites work: Abstract diagnosis / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789062
@@ Property / cites work: Q3789062 / rank @@
+Normal rank
@@ Property / cites work @@
+Declarative modeling of the operational behavior of logic languages
+Normal rank
@@ Property / cites work @@
+A model-theoretic reconstruction of the operational semantics of logic programs
+Normal rank
@@ Property / cites work @@
+Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
+Normal rank
@@ Property / cites work @@
+Kernel-LEAF: A logic plus functional language
@@ Property / cites work: Kernel-LEAF: A logic plus functional language / rank @@
+Normal rank
@@ Property / cites work @@
+The integration of functions into logic programming: From theory to practice
+Normal rank
@@ Property / cites work @@
+Higher-order narrowing with definitional trees
@@ Property / cites work: Higher-order narrowing with definitional trees / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of equational logic programming
@@ Property / cites work: Foundations of equational logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4259975
@@ Property / cites work: Q4259975 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692876
@@ Property / cites work: Q4692876 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming with functions and predicates: The language Babel
+Normal rank
@@ Property / cites work @@
+Inductive Logic Programming: Theory and methods
@@ Property / cites work: Inductive Logic Programming: Theory and methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040341
@@ Property / cites work: Q4040341 / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerating outer narrowing derivations for constructor-based term rewriting systems
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(04)80345-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2067151481
@@ Property / OpenAlex ID: W2067151481 / rank @@
+Normal rank

Latest revision as of 09:30, 30 July 2024

Statements

Sitelinks

Mathematics(1 entry)