Pages that link to "Item:Q5348884"
From MaRDI portal
The following pages link to Building program optimizers with rewriting strategies (Q5348884):
Displayed 18 items.
- Static consistency checking of web applications with WebDSL (Q617983) (← links)
- Specifying rewrite strategies for interactive exercises (Q626940) (← links)
- Typed generic traversal with term rewriting strategies (Q1394988) (← links)
- A higher-order strategy for eliminating common subexpressions (Q1749242) (← links)
- A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
- (Q2703695) (← links)
- Maximally Parallel Contextual String Rewriting (Q2827840) (← links)
- Generic type-preserving traversal strategies (Q2841223) (← links)
- A Survey of Rewriting Strategies in Program Transformation Systems (Q2841225) (← links)
- Fusing Logic and Control with Local Transformations (Q2841226) (← links)
- A Logic for Rewriting Strategies (Q2841238) (← links)
- Scoped Dynamic Rewrite Rules (Q2841252) (← links)
- (Q2843609) (← links)
- Regular Strategies as Proof Tactics for CIRC (Q2873678) (← links)
- Semi-automatic grammar recovery (Q4791063) (← links)
- Recognizing Strategies (Q5170163) (← links)
- Strategy-Based Proof Calculus for Membrane Systems (Q5179128) (← links)
- Interleaving Strategies (Q5200118) (← links)