The following pages link to Tom (Q21793):
Displaying 22 items.
- Strategy based semantics for mobility with time and access permissions (Q890480) (← links)
- Anti-patterns for rule-based languages (Q968527) (← links)
- A higher-order strategy for eliminating common subexpressions (Q1749242) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Pattern eliminating transformations (Q2119103) (← links)
- Zipping strategies and attribute grammars (Q2163164) (← links)
- Strategies, model checking and branching-time properties in Maude (Q2239275) (← links)
- A symbolic transformation language and its application to a multiscale method (Q2447638) (← links)
- Metalevel transformation of strategies (Q2667189) (← links)
- Labelled Graph Rewriting Meets Social Networks (Q2827834) (← links)
- Rewriting Strategies and Strategic Rewrite Programs (Q2945718) (← links)
- Automatic Parallelization and Optimization of Programs by Proof Rewriting (Q3392920) (← links)
- Pattern Calculus (Q3629217) (← links)
- A Higher-Order Graph Calculus for Autonomic Computing (Q3655135) (← links)
- <i>CLP(H):</i>Constraint logic programming for hedges (Q4593022) (← links)
- Strategic port graph rewriting: an interactive modelling framework (Q4629264) (← links)
- The Third Rewrite Engines Competition (Q4933291) (← links)
- A Port Graph Calculus for Autonomic Computing and Invariant Verification (Q5170279) (← links)
- Strategy-Based Proof Calculus for Membrane Systems (Q5179128) (← links)
- From Rules to Constraint Programs with the Rules2CP Modelling Language (Q5191407) (← links)
- A Rewriting Calculus for Multigraphs with Ports (Q5415656) (← links)
- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application (Q5757944) (← links)