swMATH13688MaRDI QIDQ25602FDOQ25602
Author name not available (Why is that?)
Official website: http://www.informatik.uni-kiel.de/~pakcs/
Cited In (41)
- The narrowing-driven approach to functional logic program specialization
- Improving the efficiency of non-deterministic computations
- Dynamic predicates in functional logic programs
- Programming with narrowing: a tutorial
- The integration of functions into logic programming: From theory to practice
- Transforming Boolean equalities into constraints
- Declaring numbers
- Implementing relational specifications in a constraint functional logic language
- Title not available (Why is that?)
- A Relation Algebraic Semantics for a Lazy Functional Logic Language
- Evaluation strategies for functional logic programming
- Transforming functional logic programs into monadic functional programs
- Compiling a functional logic language: \textit{The Fair Scheme}
- KiCS2
- Mercury
- Curry
- FACTORIE
- Kernel-LEAF
- TituRel
- TeaBag
- EasyCheck
- TOY
- TK
- Freja
- Hat
- Hood
- CHR.js
- FlatCurry
- PFLP
- Rules + strategies for transforming lazy functional logic programs
- A framework for interpreting traces of functional logic computations
- Logic Programming
- On a Tighter Integration of Functional and Logic Programming
- Functional Logic Programming: From Theory to Curry
- Lazy context cloning for non-deterministic graph rewriting
- From Boolean equalities to constraints
- Implementing functional logic languages using multiple threads and stores
- Reporting failures in functional logic programs
- Implementing a library for probabilistic programming using non-strict non-determinism
- Compiling collapsing rules in certain constructor systems
- A Virtual Machine for Functional Logic Computations
This page was built for software: PAKCS