Pages that link to "Item:Q815006"
From MaRDI portal
The following pages link to Derivation of efficient logic programs by specialization and reduction of nondeterminism (Q815006):
Displaying 4 items.
- An improved reductant calculus using fuzzy partial evaluation techniques (Q1037854) (← links)
- Specialization of functional logic programs based on needed narrowing (Q3370571) (← links)
- The derivation of an algorithm for program specialisation (Q3983041) (← links)
- Supporting Transformations for the Partial Evaluation of Logic Programs (Q4286220) (← links)