Pages that link to "Item:Q5458800"
From MaRDI portal
The following pages link to Efficient Local Unfolding with Ancestor Stacks for Full Prolog (Q5458800):
Displayed 5 items.
- Type-based homeomorphic embedding for online termination (Q989516) (← links)
- A Study on the Practicality of Poly-Controlled Partial Evaluation (Q2873793) (← links)
- Test Data Generation of Bytecode by CLP Partial Evaluation (Q3617426) (← links)
- Oracle-Based Partial Evaluation (Q5415668) (← links)
- Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation (Q5504591) (← links)