The following pages link to Stratego (Q13999):
Displayed 50 items.
- Transformation of structure-shy programs with application to XPath queries and strategic functions (Q532417) (← links)
- Preventing injection attacks with syntax embeddings (Q608228) (← links)
- Constructing language processors with algebra combinators (Q608238) (← links)
- Static consistency checking of web applications with WebDSL (Q617983) (← links)
- Implementing type systems for the IDE with Xsemantics (Q739624) (← 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)
- Anti-patterns for rule-based languages (Q968527) (← links)
- The metafront system: safe and extensible parsing and transformation (Q995468) (← links)
- An update calculus for expressing type-safe program updates (Q997231) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Inductive proof search modulo (Q1037404) (← links)
- An on-the-fly grammar modification mechanism for composing and defining extensible languages (Q1749119) (← links)
- Declarative rewriting through circular nonterminal attributes (Q1749127) (← links)
- Generation of abstract programming interfaces from syntax definitions (Q1885931) (← links)
- The transient combinator, higher-order strategies, and the distributed data problem (Q1887674) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Zipping strategies and attribute grammars (Q2163164) (← links)
- Strategies, model checking and branching-time properties in Maude (Q2239275) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- High-fidelity C/C++ code transformation (Q2382607) (← links)
- A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
- Using source transformation to test and model check implicit-invocation systems (Q2507781) (← links)
- Translation of algebraic programs into executable codes (Q2508826) (← links)
- Automated generation of program translation and verification tools using annotated grammars (Q2653929) (← links)
- Silver: an extensible attribute grammar system (Q2653933) (← links)
- Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
- Simulating and model checking membrane systems using strategies in Maude (Q2667188) (← links)
- Metalevel transformation of strategies (Q2667189) (← 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)
- (Q2849586) (← links)
- Deduction, Strategies, and Rewriting (Q2864357) (← links)
- Programmed Strategies for Program Verification (Q2864527) (← links)
- A Rewriting Logic Approach to Operational Semantics (Extended Abstract) (Q2871834) (← links)
- Rewriting Strategies and Strategic Rewrite Programs (Q2945718) (← links)
- (Q2960352) (← links)
- UTPCalc — A Calculator for UTP Predicates (Q2971182) (← links)
- Equality Saturation: A New Approach to Optimization (Q3003313) (← links)
- From Grammars and Automata to Algebras and Coalgebras (Q3014929) (← links)
- A lightweight approach to datatype-generic rewriting (Q3070774) (← links)
- A Rewriting Logic Approach to Type Inference (Q3184729) (← links)
- (Q3416418) (← links)
- Ruler: Programming Type Rules (Q3434622) (← links)
- Building language towers with Ziggurat (Q3546048) (← links)
- Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations (Q3608811) (← links)