Pages that link to "Item:Q2841226"
From MaRDI portal
The following pages link to Fusing logic and control with local transformations: an example optimization (Q2841226):
Displaying 5 items.
- Typed generic traversal with term rewriting strategies (Q1394988) (← links)
- Warm fusion in Stratego: A case study in generation of program transformation systems (Q1601856) (← links)
- A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
- A survey of rewriting strategies in program transformation systems (Q2841225) (← links)
- Strategies for source-to-source constant propagation (Q2843613) (← links)