Pages that link to "Item:Q1108783"
From MaRDI portal
The following pages link to Specialisation of Prolog and FCP programs using abstract interpretation (Q1108783):
Displaying 7 items.
- Derivation of efficient logic programs by specialization and reduction of nondeterminism (Q815006) (← links)
- How to control unfolding when specializing interpreters (Q918195) (← links)
- Partial evaluation with inference rules (Q1108781) (← links)
- Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation (Q1322838) (← links)
- (Q2723919) (← links)
- The derivation of an algorithm for program specialisation (Q3983041) (← links)
- (Q5020658) (← links)