The following pages link to (Q2778890):
Displayed 26 items.
- Stratego (Q13999) (← links)
- Transformation of structure-shy programs with application to XPath queries and strategic functions (Q532417) (← links)
- Constructing language processors with algebra combinators (Q608238) (← links)
- Invariant-driven specifications in Maude (Q838161) (← links)
- Semi-automatic composition of loop transformations for deep parallelism and memory hierarchies (Q853766) (← links)
- An integrated approach to high integrity software verification (Q861714) (← links)
- Strategy based semantics for mobility with time and access permissions (Q890480) (← links)
- Inductive proof search modulo (Q1037404) (← links)
- Declarative rewriting through circular nonterminal attributes (Q1749127) (← links)
- A higher-order strategy for eliminating common subexpressions (Q1749242) (← links)
- Generation of abstract programming interfaces from syntax definitions (Q1885931) (← links)
- Zipping strategies and attribute grammars (Q2163164) (← links)
- Strategies for combining decision procedures (Q2368951) (← links)
- Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
- Labelled Graph Rewriting Meets Social Networks (Q2827834) (← links)
- A Survey of Rewriting Strategies in Program Transformation Systems (Q2841225) (← links)
- Fusing Logic and Control with Local Transformations (Q2841226) (← links)
- Induction for termination with local strategies (Q2841240) (← links)
- (Q2843609) (← links)
- Programmed Strategies for Program Verification (Q2864527) (← links)
- Rewriting Strategies and Strategic Rewrite Programs (Q2945718) (← links)
- UTPCalc — A Calculator for UTP Predicates (Q2971182) (← links)
- A Higher-Order Graph Calculus for Autonomic Computing (Q3655135) (← links)
- Strategic port graph rewriting: an interactive modelling framework (Q4629264) (← links)
- A Port Graph Calculus for Autonomic Computing and Invariant Verification (Q5170279) (← links)
- Strategy-Based Proof Calculus for Membrane Systems (Q5179128) (← links)