Pages that link to "Item:Q4305632"
From MaRDI portal
The following pages link to The integration of functions into logic programming: From theory to practice (Q4305632):
Displaying 50 items.
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- A compositional semantic basis for the analysis of equational Horn programs (Q671509) (← links)
- Lazy narrowing: strong completeness and eager variable elimination (Q671677) (← links)
- Ensuring the quasi-termination of needed narrowing computations (Q845935) (← links)
- Database query languages and functional logic programming (Q867491) (← links)
- Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols (Q880981) (← links)
- A new generic scheme for functional logic programming with constraints (Q880985) (← links)
- Loop detection in term rewriting using the eliminating unfoldings (Q944383) (← links)
- Programming with narrowing: a tutorial (Q968524) (← links)
- Termination of narrowing via termination of rewriting (Q969619) (← links)
- A compact fixpoint semantics for term rewriting systems (Q987981) (← links)
- Termination of narrowing revisited (Q1035697) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- A hybrid programming scheme combining fuzzy-logic and functional-logic resources (Q1037954) (← links)
- Programming in metric temporal logic (Q1128978) (← links)
- Functional-logic integration via minimal reciprocal extensions (Q1275622) (← links)
- A framework for incremental learning of logic programs (Q1390950) (← links)
- Some characteristics of strong innermost normalization (Q1575274) (← links)
- Rules + strategies for transforming lazy functional logic programs (Q1884942) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- A framework for computing finite SLD trees (Q2258840) (← links)
- A partial evaluation framework for order-sorted equational programs modulo axioms (Q2291823) (← links)
- Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures (Q2347907) (← links)
- Operational semantics for declarative multi-paradigm languages (Q2456574) (← links)
- Evaluation strategies for functional logic programming (Q2456576) (← links)
- Evaluation Strategies for Functional Logic Programming (Q2841220) (← links)
- 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) (← links)
- 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 (Q2841284) (← links)
- A Declarative Debugging System for Lazy Functional Logic Programs (Q2841290) (← links)
- (Q2844060) (← links)
- (Q2844062) (← links)
- Lazy Context Cloning for Non-Deterministic Graph Rewriting (Q2867896) (← links)
- Extra Variables Can Be Eliminated from Functional Logic Programs (Q2867956) (← links)
- Equivalence of Two Formal Semantics for Functional Logic Programs (Q2867964) (← links)
- Narrowing and Rewriting Logic: from Foundations to Applications (Q2873786) (← links)
- Reporting Failures in Functional Logic Programs (Q2873788) (← links)
- Implementing Relational Specifications in a Constraint Functional Logic Language (Q2873796) (← links)
- Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures (Q2915139) (← links)
- The Essence of Functional Programming on Semantic Data (Q2988667) (← links)
- Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming (Q3067475) (← links)
- A Finite Representation of the Narrowing Space (Q3453648) (← links)
- Modular Termination of Basic Narrowing (Q3522005) (← links)
- A term-graph clausal logic: completeness and incompleteness results ★ (Q3643364) (← links)
- Modular action language (Q4593024) (← links)
- Canonical Ground Horn Theories (Q4916071) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)
- Solving Equations by Graph Transformation (Q4923538) (← links)
- (Q5013811) (← links)
- Level-confluence of conditional rewrite systems with extra variables in right-hand sides (Q5055830) (← links)
- Higher-order narrowing with definitional trees (Q5055857) (← links)
