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):
Displayed 4 items.
- How to control unfolding when specializing interpreters (Q918195) (← 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)