Pages that link to "Item:Q4939538"
From MaRDI portal
The following pages link to Conjunctive partial deduction: foundations, control, algorithms, and experiments (Q4939538):
Displayed 9 items.
- Partial evaluation of Maple (Q532411) (← links)
- Derivation of efficient logic programs by specialization and reduction of nondeterminism (Q815006) (← links)
- Rules + strategies for transforming lazy functional logic programs (Q1884942) (← links)
- A framework for computing finite SLD trees (Q2258840) (← links)
- Narrowing and Rewriting Logic: from Foundations to Applications (Q2873786) (← links)
- A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs (Q3003494) (← links)
- (Q4499252) (← links)
- Annotation of logic programs for independent AND-parallelism by partial evaluation (Q4911136) (← links)
- The narrowing-driven approach to functional logic program specialization (Q5957056) (← links)