The following pages link to (Q2764099):
Displaying 14 items.
- ASF+SDF (Q23262) (← links)
- Anti-patterns for rule-based languages (Q968527) (← links)
- Typed generic traversal with term rewriting strategies (Q1394988) (← links)
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories (Q1704601) (← links)
- Declarative rewriting through circular nonterminal attributes (Q1749127) (← links)
- Generation of abstract programming interfaces from syntax definitions (Q1885931) (← links)
- Manipulating algebraic specifications with term-based and graph-based representations (Q1885933) (← links)
- On the effectiveness of higher-order logic programming in language-oriented programming (Q2039939) (← links)
- Zipping strategies and attribute grammars (Q2163164) (← links)
- Incremental programming language development (Q2485088) (← links)
- Automated generation of program translation and verification tools using annotated grammars (Q2653929) (← links)
- An Account of Implementing Applicative Term Rewriting (Q2866805) (← links)
- A Rewriting Logic Approach to Type Inference (Q3184729) (← links)
- <i>CLP(H):</i>Constraint logic programming for hedges (Q4593022) (← links)
