Pages that link to "Item:Q2703699"
From MaRDI portal
The following pages link to The evaluation strategy for head normal form with and without on-demand flags (Q2703699):
Displaying 7 items.
- On-demand strategy annotations revisited: an improved on-demand evaluation strategy (Q1044842) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Just-in-time: on strategy annotations (Q2841222) (← links)
- Compact normalisation trace via lazy rewriting (Q2841224) (← links)
- Induction for termination with local strategies (Q2841240) (← links)
- Lazy rewriting and context-sensitive rewriting (Q2841298) (← links)