Pages that link to "Item:Q2841225"
From MaRDI portal
The following pages link to A survey of rewriting strategies in program transformation systems (Q2841225):
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)
- The list introduction strategy for the derivation of logic programs (Q699926) (← links)
- Warm fusion in Stratego: A case study in generation of program transformation systems (Q1601856) (← links)
- Pigs from sausages? Reengineering from assembler to C via FermaT transformations (Q1887676) (← links)
- A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
- (Q2778890) (← links)
- Fusing logic and control with local transformations: an example optimization (Q2841226) (← links)
- Scoped dynamic rewrite rules (Q2841252) (← links)
- Programmable rewriting strategies in Haskell (white paper) (Q2849586) (← links)
- Strongly typed rewriting for coupled software transformation (Q2864515) (← links)
- (Q4738454) (← links)
- String Diagram Rewrite Theory I: Rewriting with Frobenius Structure (Q5066951) (← links)
- Model Checking TLR* Guarantee Formulas on Infinite Systems (Q5403070) (← links)