Pages that link to "Item:Q5712538"
From MaRDI portal
The following pages link to Program Development in Computational Logic (Q5712538):
Displaying 6 items.
- How to control unfolding when specializing interpreters (Q918195) (← links)
- Transformation by interpreter specialisation (Q1887680) (← links)
- Efficient and flexible access control via Jones-optimal logic program specialisation (Q2271897) (← links)
- Fast offline partial evaluation of logic programs (Q2437798) (← links)
- Fast Offline Partial Evaluation of Large Logic Programs (Q3617434) (← links)
- Functional and Logic Programming (Q5308015) (← links)