Pages that link to "Item:Q5302883"
From MaRDI portal
The following pages link to Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates (Q5302883):
Displaying 6 items.
- Fast offline partial evaluation of logic programs (Q2437798) (← links)
- A study on the practicality of poly-controlled partial evaluation (Q2873793) (← links)
- Test case generation for object-oriented imperative languages in CLP (Q3585175) (← links)
- Fast Offline Partial Evaluation of Large Logic Programs (Q3617434) (← links)
- Oracle-Based Partial Evaluation (Q5415668) (← links)
- Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation (Q5504591) (← links)