Pages that link to "Item:Q1108777"
From MaRDI portal
The following pages link to Mixed computation of Prolog programs (Q1108777):
Displaying 7 items.
- Polyvariant mixed computation for analyzer programs (Q796970) (← links)
- From partial evaluation to mixed computation (Q808274) (← links)
- Mixed computation and compilation: New approaches to old problems (Q912601) (← links)
- How to control unfolding when specializing interpreters (Q918195) (← links)
- Correctness of mixed computations in Incol (Q1103380) (← links)
- Mixed computation of Prolog programs (Q1108777) (← links)
- A partial evaluator for the untyped lambda-calculus (Q4939696) (← links)