Kernel-LEAF - MaRDI portal

swMATH8982MaRDI QIDQ20977FDOQ20977

Author name not available (Why is that?)

Official website: http://www.sciencedirect.com/science/article/pii/002200009190009T

Cited In (37)

Title not available (Why is that?)
Relating the implementation techniques of functional and functional logic languages
The narrowing-driven approach to functional logic program specialization
Title not available (Why is that?)
Improving the efficiency of non-deterministic computations
Incremental constraint satisfaction for equational logic programming
Programming with narrowing: a tutorial
Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
Title not available (Why is that?)
Title not available (Why is that?)
Ensuring the quasi-termination of needed narrowing computations
Operational semantics for declarative multi-paradigm languages
Term Rewriting and Applications
Title not available (Why is that?)
Completeness results for basic narrowing
Cost-augmented partial evaluation of functional logic programs
Title not available (Why is that?)
An integrated framework for the diagnosis and correction of rule-based programs
Title not available (Why is that?)
Evaluation strategies for functional logic programming
Curry
Kima
TeaBag
TOY
PAKCS
OPTYap
Title not available (Why is that?)
Higher-order narrowing with definitional trees
Co-Logic Programming: Extending Logic Programming with Coinduction
Narrowing and unification in functional programming —An evaluation mechanism for absolute set abstraction
Level-confluence of conditional rewrite systems with extra variables in right-hand sides
Functional Logic Programming: From Theory to Curry
A debugging scheme for functional logic programs
Kernel-LEAF: A logic plus functional language
A declarative debugging system for lazy functional logic programs
Declarative debugging of functional logic programs
Title not available (Why is that?)

This page was built for software: Kernel-LEAF