The following pages link to Compiling control (Q3821563):
Displayed 8 items.
- Abstract conjunctive partial deduction for the analysis and compilation of coroutines (Q511025) (← links)
- Unfolding--definition--folding, in this order, for avoiding unnecessary variables in logic programs (Q673496) (← links)
- Compiling bottom-up and mixed derivations into top-down executable logic programs (Q809591) (← links)
- On the transformation of logic programs with instantiation based computation rules (Q1119029) (← links)
- Speeding up inferences using relevance reasoning: a formalism and algorithms (Q1127352) (← links)
- A general criterion for avoiding infinite unfolding during partial deduction (Q1205178) (← links)
- Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation (Q1322838) (← links)
- From Logic to Functional Logic Programs (Q5038460) (← links)