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

Latest revision as of 08:27, 30 July 2024

scientific article

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

Statements

instance of

scholarly article

0 references

title

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

@@ Property / author @@
-María Alpuente
@@ Property / author: María Alpuente / rank @@
-Normal rank
@@ Property / author @@
-Moreno Falaschi
@@ Property / author: Moreno Falaschi / rank @@
-Normal rank
@@ Property / author @@
+María Alpuente
@@ Property / author: María Alpuente / rank @@
+Normal rank
@@ Property / author @@
+Moreno Falaschi
@@ Property / author: Moreno Falaschi / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57978282
@@ Property / Wikidata QID: Q57978282 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BABEL
@@ Property / describes a project that uses: BABEL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Curry
@@ Property / describes a project that uses: Curry / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kernel-LEAF
@@ Property / describes a project that uses: Kernel-LEAF / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Analyses of unsatisfiability for equational 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 @@
+Q2763637
@@ Property / cites work: Q2763637 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs as specifications in the inductive verification of logic programs
+Normal rank
@@ Property / cites work @@
+Abstract diagnosis
@@ Property / cites work: Abstract diagnosis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / 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 @@
+Q4281583
@@ Property / cites work: Q4281583 / rank @@
+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 @@
+Logic programming with functions and predicates: The language Babel
+Normal rank
@@ Property / cites work @@
+Q4259962
@@ Property / cites work: Q4259962 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(04)00266-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2059196002
@@ Property / OpenAlex ID: W2059196002 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2841221

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

Latest revision as of 08:27, 30 July 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)