Kernel-LEAF
From MaRDI portal
Cited in
(42)- Completeness results for basic narrowing
- Incremental constraint satisfaction for equational logic programming
- ObjectCurry
- BABEL
- ECCE
- Cost-augmented partial evaluation of functional logic programs
- Kima
- TeaBag
- Curry
- TOY
- Operational semantics for declarative multi-paradigm languages
- Evaluation strategies for functional logic programming
- PAKCS
- OPTYap
- Kernel-LEAF: A logic plus functional language
- Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
- scientific article; zbMATH DE number 1692896 (Why is no real title available?)
- Declarative debugging of functional logic programs
- A debugging scheme for functional logic programs
- Improving the efficiency of non-deterministic computations
- A declarative debugging system for lazy functional logic programs
- scientific article; zbMATH DE number 5007860 (Why is no real title available?)
- DiSCiPl
- scientific article; zbMATH DE number 512892 (Why is no real title available?)
- scientific article; zbMATH DE number 515736 (Why is no real title available?)
- scientific article; zbMATH DE number 549952 (Why is no real title available?)
- scientific article; zbMATH DE number 1973219 (Why is no real title available?)
- scientific article; zbMATH DE number 1973220 (Why is no real title available?)
- scientific article; zbMATH DE number 2048606 (Why is no real title available?)
- scientific article; zbMATH DE number 1380895 (Why is no real title available?)
- Functional Logic Programming: From Theory to Curry
- 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
- Higher-order narrowing with definitional trees
- Co-Logic Programming: Extending Logic Programming with Coinduction
- Term Rewriting and Applications
- The narrowing-driven approach to functional logic program specialization
- NARROWER
- An integrated framework for the diagnosis and correction of rule-based programs
- Relating the implementation techniques of functional and functional logic languages
- Ensuring the quasi-termination of needed narrowing computations
- Programming with narrowing: a tutorial
This page was built for software: Kernel-LEAF
