The following pages link to Stratego (Q13999):
Displayed 25 items.
- Data Movement Optimisation in Point-Free Form (Q3623922) (← links)
- A Higher-Order Graph Calculus for Autonomic Computing (Q3655135) (← links)
- (Q4428310) (← links)
- (Q4440344) (← links)
- (Q4447249) (← links)
- A Domain-Specific Language and Editor for Parallel Particle Methods (Q4611302) (← links)
- Strategic port graph rewriting: an interactive modelling framework (Q4629264) (← links)
- (Q4738383) (← links)
- (Q4808750) (← links)
- A Strategy Language for Graph Rewriting (Q4909323) (← 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)
- A Rewriting Semantics for Maude Strategies (Q5179141) (← links)
- Parsing and Printing of and with Triples (Q5283209) (← links)
- Strategies and simulations in a semantic framework (Q5429558) (← links)
- (Q5472912) (← links)
- Logic Programming (Q5475808) (← links)
- (Q5486053) (← links)
- Recent Trends in Algebraic Development Techniques (Q5703990) (← links)
- Logic Based Program Synthesis and Transformation (Q5713937) (← links)
- A Tactic Language for Declarative Proofs (Q5747644) (← links)
- A Rewriting Semantics for Type Inference (Q5756511) (← links)
- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application (Q5757944) (← links)
- Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898153) (← links)