Pages that link to "Item:Q5249248"
From MaRDI portal
The following pages link to REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS (Q5249248):
Displayed 7 items.
- Typed generic traversal with term rewriting strategies (Q1394988) (← links)
- ELAN from a rewriting logic point of view (Q1608914) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
- A lightweight approach to datatype-generic rewriting (Q3070774) (← links)
- A Higher-Order Graph Calculus for Autonomic Computing (Q3655135) (← links)
- (Q4222979) (← links)