The following pages link to (Q5688889):
Displaying 5 items.
- A general criterion for avoiding infinite unfolding during partial deduction (Q1205178) (← links)
- Sound and complete partial deduction with unfolding based on well-founded measures (Q1314419) (← links)
- Sonic partial deduction (Q2729912) (← links)
- Loop checking in partial deduction (Q5286916) (← links)
- Loop checks for logic programs with functions (Q5958765) (← links)