The following pages link to (Q4417783):
Displaying 11 items.
- Pattern matching for the masses using custom notations (Q436385) (← links)
- Proving weak properties of rewriting (Q554217) (← links)
- Multi-pattern languages (Q673787) (← links)
- A \(\rho\)-calculus of explicit constraint application (Q880989) (← links)
- Anti-patterns for rule-based languages (Q968527) (← links)
- GC\(^{2}\): a generational conservative garbage collector for the ATERM library (Q1885928) (← links)
- Term-graph rewriting in \textsc{Tom} using relative positions (Q2870309) (← links)
- Canonical abstract syntax trees (Q2873780) (← links)
- Termination of Priority Rewriting (Q3618597) (← links)
- (Q4517047) (← links)
- Pattern matching compilation of functions defined in context-free languages (Q5945841) (← links)