Pages that link to "Item:Q1108782"
From MaRDI portal
The following pages link to A self-applicable partial evaluator and its use in incremental compilation (Q1108782):
Displayed 5 items.
- How to control unfolding when specializing interpreters (Q918195) (← links)
- Partial evaluation of metaprograms in a ``multiple worlds'' logic language (Q1108779) (← links)
- Partial evaluation with inference rules (Q1108781) (← links)
- A general criterion for avoiding infinite unfolding during partial deduction (Q1205178) (← links)
- Role of logic programming in the FGCS project (Q5096224) (← links)