Pages that link to "Item:Q1108783"

The following pages link to Specialisation of Prolog and FCP programs using abstract interpretation (Q1108783):

Displaying 2 items.

• Partial evaluation with inference rules (Q1108781) (← links)
• Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation (Q1322838) (← links)