Functional Logic Programming: From Theory to Curry (Q4916076): Difference between revisions

@@ Property / describes a project that uses @@
+Mercury
@@ Property / describes a project that uses: Mercury / 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 @@
+TeaBag
@@ Property / describes a project that uses: TeaBag / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-37651-1_6
+Normal rank
@@ Property / OpenAlex ID @@
+W68427271
@@ Property / OpenAlex ID: W68427271 / rank @@
+Normal rank
@@ Property / cites work @@
+Operational semantics for declarative multi-paradigm languages
+Normal rank
@@ Property / cites work @@
+Q2767032
@@ Property / cites work: Q2767032 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763647
@@ Property / cites work: Q2763647 / rank @@
+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 @@
+A compositional semantic basis for the analysis of equational Horn programs
+Normal rank
@@ Property / cites work @@
+Specialization of functional logic programs based on needed narrowing
+Normal rank
@@ Property / cites work @@
+Q4364366
@@ Property / cites work: Q4364366 / 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 @@
+Q2729761
@@ Property / cites work: Q2729761 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4409152
@@ Property / cites work: Q4409152 / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTIONAL PEARL <i>Concurrent distinct choices</i>
+Normal rank
@@ Property / cites work @@
+Declarative Programming with Function Patterns
@@ Property / cites work: Declarative Programming with Function Patterns / rank @@
+Normal rank
@@ Property / cites work @@
+Overlapping Rules and Logic Variables in Functional Logic Programs
+Normal rank
@@ Property / cites work @@
+A Virtual Machine for Functional Logic Computations
+Normal rank
@@ Property / cites work @@
+Q2766793
@@ Property / cites work: Q2766793 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940928
@@ Property / cites work: Q4940928 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Implementing Relational Specifications in a Constraint Functional Logic Language
+Normal rank
@@ Property / cites work @@
+Conditional rewrite rules: Confluence and termination
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3372485
@@ Property / cites work: Q3372485 / rank @@
+Normal rank
@@ Property / cites work @@
+Run-Time Profiling of Functional Logic Programs
@@ Property / cites work: Run-Time Profiling of Functional Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+On a Tighter Integration of Functional and Logic Programming
+Normal rank
@@ Property / cites work @@
+Functional and Logic Programming
@@ Property / cites work: Functional and Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858582
@@ Property / cites work: Q4858582 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4944885
@@ Property / cites work: Q4944885 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional and Logic Programming
@@ Property / cites work: Functional and Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Narrowing and Rewriting Logic: from Foundations to Applications
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4415117
@@ Property / cites work: Q4415117 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint functional logic programming over finite domains
+Normal rank
@@ Property / cites work @@
+Q2763642
@@ Property / cites work: Q2763642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4409151
@@ Property / cites work: Q4409151 / rank @@
+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 @@
+An approach to declarative programming based on a rewriting logic
+Normal rank
@@ Property / cites work @@
+Q5284550
@@ Property / cites work: Q5284550 / rank @@
+Normal rank
@@ Property / cites work @@
+The integration of functions into logic programming: From theory to practice
+Normal rank
@@ Property / cites work @@
+Analysis of residuating logic programs
@@ Property / cites work: Analysis of residuating logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction Strategies for Declarative Programming
@@ Property / cites work: Reduction Strategies for Declarative Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3372484
@@ Property / cites work: Q3372484 / rank @@
+Normal rank
@@ Property / cites work @@
+Declarative Processing of Semistructured Web Data
@@ Property / cites work: Declarative Processing of Semistructured Web Data / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844055
@@ Property / cites work: Q2844055 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763381
@@ Property / cites work: Q2763381 / 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 @@
+Q4944888
@@ Property / cites work: Q4944888 / 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 @@
+Nondeterministic algebraic specifications and nonconfluent term rewriting
+Normal rank
@@ Property / cites work @@
+Leftmost outside-in narrowing calculi
@@ Property / cites work: Leftmost outside-in narrowing calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Functional and Logic Programming
@@ Property / cites work: Functional and Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281598
@@ Property / cites work: Q4281598 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof theoretic approach to failure in functional logic programming
+Normal rank
@@ Property / cites work @@
+Q2766774
@@ Property / cites work: Q2766774 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763639
@@ Property / cites work: Q2763639 / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy narrowing: strong completeness and eager variable elimination
+Normal rank
@@ Property / cites work @@
+Logic programming with functions and predicates: The language Babel
+Normal rank
@@ Property / cites work @@
+Dynamic slicing of lazy functional programs based on redex trails
+Normal rank
@@ Property / cites work @@
+Q4040341
@@ Property / cites work: Q4040341 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414308
@@ Property / cites work: Q4414308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762632
@@ Property / cites work: Q2762632 / rank @@
+Normal rank
@@ Property / cites work @@
+Truly concurrent constraint programming
@@ Property / cites work: Truly concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+Programming in equational logic: Beyond strong sequentiality
+Normal rank
@@ Property / cites work @@
+Q3718124
@@ Property / cites work: Q3718124 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
+Normal rank
@@ Property / cites work @@
+The execution algorithm of mercury, an efficient purely declarative logic programming language
+Normal rank