The following pages link to (Q4343027):
Displaying 7 items.
- Partial evaluation of Maple (Q532411) (← links)
- A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
- A formally verified compiler back-end (Q2655327) (← links)
- A Survey of Rewriting Strategies in Program Transformation Systems (Q2841225) (← links)
- Scoped Dynamic Rewrite Rules (Q2841252) (← links)
- Translating between Language and Logic: What Is Easy and What Is Difficult (Q5200012) (← links)
- A Verified LL(1) Parser Generator (Q5875434) (← links)
