The following pages link to (Q3983041):
Displaying 4 items.
- Sound and complete partial deduction with unfolding based on well-founded measures (Q1314419) (← links)
- Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation (Q1322838) (← links)
- A Study on the Practicality of Poly-Controlled Partial Evaluation (Q2873793) (← links)
- Concolic Testing in CLP (Q5140007) (← links)
