Pages that link to "Item:Q3983041"
From MaRDI portal
The following pages link to The derivation of an algorithm for program specialisation (Q3983041):
Displaying 8 items.
- Self-generating program specializers (Q407546) (← links)
- Specialisation of Prolog and FCP programs using abstract interpretation (Q1108783) (← links)
- Sound and complete partial deduction with unfolding based on well-founded measures (Q1314419) (← links)
- Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation (Q1322838) (← links)
- A study on the practicality of poly-controlled partial evaluation (Q2873793) (← links)
- Algorithmic Differentiation of Code with Multiple Context-Specific Activities (Q3133586) (← links)
- Concolic Testing in CLP (Q5140007) (← links)
- Generating Specialized Rules and Programs for Demand-Driven Analysis (Q5505434) (← links)