Pages that link to "Item:Q2638759"
From MaRDI portal
The following pages link to Kernel-LEAF: A logic plus functional language (Q2638759):
Displaying 20 items.
- An integrated framework for the diagnosis and correction of rule-based programs (Q604477) (← links)
- Relating the implementation techniques of functional and functional logic languages (Q685129) (← links)
- Ensuring the quasi-termination of needed narrowing computations (Q845935) (← links)
- Programming with narrowing: a tutorial (Q968524) (← links)
- Completeness results for basic narrowing (Q1328184) (← links)
- Incremental constraint satisfaction for equational logic programming (Q1367535) (← links)
- Operational semantics for declarative multi-paradigm languages (Q2456574) (← links)
- Evaluation strategies for functional logic programming (Q2456576) (← links)
- Declarative debugging of functional logic programs (Q2841221) (← links)
- A debugging scheme for functional logic programs (Q2841284) (← links)
- Improving the efficiency of non-deterministic computations (Q2841287) (← links)
- A declarative debugging system for lazy functional logic programs (Q2841290) (← links)
- (Q3700859) (← links)
- (Q4300146) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)
- Narrowing and unification in functional programming —An evaluation mechanism for absolute set abstraction (Q5055714) (← links)
- Level-confluence of conditional rewrite systems with extra variables in right-hand sides (Q5055830) (← links)
- Higher-order narrowing with definitional trees (Q5055857) (← links)
- Lazy narrowing in a graph machine (Q5096203) (← links)
- The narrowing-driven approach to functional logic program specialization (Q5957056) (← links)
