PAKCS
From MaRDI portal
Software:25602
No author found.
Related Items (25)
Rules + strategies for transforming lazy functional logic programs ⋮ Transforming Boolean equalities into constraints ⋮ Compiling a Functional Logic Language: The Fair Scheme ⋮ Improving the Efficiency of Non-Deterministic Computations1 1Supported in part by NSF grants INT-9981317 and CCR-0110496 and by the Spanish Knowledge Society Foundation, the Spanish Research Funding Agency (CICYT) TIC 2001-2705-C03-01, by Acción Integrade Hispano-Italiana HI2000-0161, and the Valencian Research Council under grant GV01-424. ⋮ The integration of functions into logic programming: From theory to practice ⋮ A Relation Algebraic Semantics for a Lazy Functional Logic Language ⋮ On a Tighter Integration of Functional and Logic Programming ⋮ Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Evaluation strategies for functional logic programming ⋮ Transforming Functional Logic Programs into Monadic Functional Programs ⋮ Declaring Numbers ⋮ Functional Logic Programming: From Theory to Curry ⋮ Logic Programming ⋮ Programming with narrowing: a tutorial ⋮ A Virtual Machine for Functional Logic Computations ⋮ Compiling Collapsing Rules in Certain Constructor Systems ⋮ From Boolean Equalities to Constraints ⋮ Implementing functional logic languages using multiple threads and stores ⋮ The narrowing-driven approach to functional logic program specialization ⋮ Lazy Context Cloning for Non-Deterministic Graph Rewriting ⋮ Reporting Failures in Functional Logic Programs ⋮ A Framework for Interpreting Traces of Functional Logic Computations ⋮ Implementing Relational Specifications in a Constraint Functional Logic Language
This page was built for software: PAKCS
