Pages that link to "Item:Q1314419"
From MaRDI portal
The following pages link to Sound and complete partial deduction with unfolding based on well-founded measures (Q1314419):
Displaying 6 items.
- Abstract conjunctive partial deduction for the analysis and compilation of coroutines (Q511025) (← links)
- Derivation of efficient logic programs by specialization and reduction of nondeterminism (Q815006) (← links)
- A general criterion for avoiding infinite unfolding during partial deduction (Q1205178) (← links)
- Sonic partial deduction (Q2729912) (← links)
- Loop checking in partial deduction (Q5286916) (← links)
- (Q5688889) (← links)