PAKCS

swMATH13688MaRDI QIDQ25602FDOQ25602

Author name not available (Why is that?)

Cited In (25)

• 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}
• 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