Pages that link to "Item:Q1108779"
From MaRDI portal
The following pages link to Partial evaluation of metaprograms in a ``multiple worlds'' logic language (Q1108779):
Displaying 6 items.
- How to control unfolding when specializing interpreters (Q918195) (← links)
- Mixed computation of Prolog programs (Q1108777) (← links)
- A general criterion for avoiding infinite unfolding during partial deduction (Q1205178) (← links)
- Mixtus: An automatic partial evaluator for full Prolog (Q1313369) (← links)
- Sound and complete partial deduction with unfolding based on well-founded measures (Q1314419) (← links)
- Partial evaluation in logic programming (Q3988796) (← links)