Pages that link to "Item:Q5957059"
From MaRDI portal
The following pages link to Program transformation system based on generalized partial computation (Q5957059):
Displaying 4 items.
- Essence of generalized partial computation (Q808278) (← links)
- Partial parametrization eliminates multiple traversals of data structures (Q1085965) (← links)
- Recursive program optimization through inductive synthesis proof transformation (Q1285864) (← links)
- Maximally-Polyvariant Partial Evaluation in Polynomial Time (Q3179173) (← links)