Pages that link to "Item:Q2456575"
From MaRDI portal
The following pages link to A survey of strategies in rule-based program transformation systems (Q2456575):
Displaying 14 items.
- Towards ``mouldable code'' via nested code graph transformation (Q406453) (← links)
- Transformation of structure-shy programs with application to XPath queries and strategic functions (Q532417) (← links)
- Hume box calculus: Robust system development through software transformation (Q656858) (← links)
- Warm fusion in Stratego: A case study in generation of program transformation systems (Q1601856) (← links)
- Evolution of rule-based programs (Q1878711) (← links)
- Translation of algebraic programs into executable codes (Q2508826) (← links)
- (Q2778890) (← links)
- A survey of rewriting strategies in program transformation systems (Q2841225) (← links)
- Scoped dynamic rewrite rules (Q2841252) (← links)
- Term rewriting with type-safe traversal functions (Q2843609) (← links)
- Rewriting Strategies and Strategic Rewrite Programs (Q2945718) (← links)
- Program Calculation in Coq (Q3067474) (← links)
- Strategic port graph rewriting: an interactive modelling framework (Q4629264) (← links)
- The Maude strategy language (Q6113021) (← links)