Pages that link to "Item:Q3938466"
From MaRDI portal
The following pages link to A System for Assisting Program Transformation (Q3938466):
Displaying 7 items.
- Synthetic programming (Q761788) (← links)
- Using circular programs to eliminate multiple traversals of data (Q800713) (← links)
- Deductive and inductive synthesis of equational programs (Q1322836) (← links)
- A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
- A positive supercompiler (Q4339016) (← links)
- How powerful are folding/unfolding transformations? (Q4764267) (← links)
- Using transformations in the implementation of higher-order functions (Q4939691) (← links)
