A new generic scheme for functional logic programming with constraints
From MaRDI portal
Publication:880985
DOI10.1007/S10990-007-9002-4zbMATH Open1115.68048OpenAlexW2018700088MaRDI QIDQ880985FDOQ880985
Authors: F. J. López-Fraguas, M. Rodríguez Artalejo, R. del Vado Vírseda 
Publication date: 21 May 2007
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10990-007-9002-4
Recommendations
Cites Work
- A theory of type polymorphism in programming
- Design, implementation, and evaluation of the constraint language cc(FD)
- A lattice-theoretical fixpoint theorem and its applications
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the algebraic specification of infinite objects - ordered and continuous models of algebraic types
- On powerdomains and modality
- Title not available (Why is that?)
- Term Rewriting and All That
- Title not available (Why is that?)
- A needed narrowing strategy
- The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
- Title not available (Why is that?)
- Title not available (Why is that?)
- Conditional rewriting logic as a unified model of concurrency
- A rationale for conditional equational programming
- The s-semantics approach: Theory and applications
- Rewriting logic: Roadmap and bibliography
- Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
- Constraint satisfaction using constraint logic programming
- Records for logic programming
- Completeness results for basic narrowing
- Title not available (Why is that?)
- Title not available (Why is that?)
- A model-theoretic reconstruction of the operational semantics of logic programs
- Title not available (Why is that?)
- A declarative debugging system for lazy functional logic programs
- The integration of functions into logic programming: From theory to practice
- Declarative modeling of the operational behavior of logic languages
- Observable Semantics for Constraint Logic Programs
- A feature constraint system for logic programming with entailment
- A complete axiomatization of a theory with feature and arity constraints
- A complete and recursive feature theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- An approach to declarative programming based on a rewriting logic
- A proof theoretic approach to failure in functional logic programming
- Comparing Meseguer's rewriting logic with the logic CRWL
- Title not available (Why is that?)
- Failure and equality in functional logic programming
- Constraint functional logic programming revisited
- A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees
- Nondeterministic algebraic specifications and nonconfluent term rewriting
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logic programming in the context of multiparadigm programming: the Oz experience
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Functional and Logic Programming
- Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming
- Frontiers of Combining Systems
- Title not available (Why is that?)
Cited In (8)
- Title not available (Why is that?)
- On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP
- Qualified Computations in Functional Logic Programming
- A Logical Framework for Debugging in Declarative Constraint Programming
- A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains
- Cooperation of algebraic constraint domains in higher-order functional and logic programming
- A functorial framework for constraint normal logic programming
- Frontiers of Combining Systems
Uses Software
This page was built for publication: A new generic scheme for functional logic programming with constraints
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q880985)
