Kernel-LEAF

swMATH8982MaRDI QIDQ20977FDOQ20977

Author name not available (Why is that?)

Cited In (31)

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