The following pages link to (Q2778890):
Displaying 31 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)
- Warm fusion in Stratego: A case study in generation of program transformation systems (Q1601856) (← 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)
- A survey of strategies in rule-based program transformation systems (Q2456575) (← 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: an example optimization (Q2841226) (← links)
- Induction for termination with local strategies (Q2841240) (← links)
- Scoped dynamic rewrite rules (Q2841252) (← links)
- Term rewriting with type-safe traversal functions (Q2843609) (← links)
- Strategies for source-to-source constant propagation (Q2843613) (← 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)
- FM 2005: Formal Methods (Q5716892) (← links)
