swMATH1259MaRDI QIDQ13999FDOQ13999
Author name not available (Why is that?)
Official website: http://www.program-transformation.org/Stratego/WebHome
Cited In (only showing first 100 items - show all)
- Twenty years of rewriting logic
- Transformation of structure-shy programs with application to XPath queries and strategic functions
- High-fidelity C/C++ code transformation
- A rewriting logic approach to operational semantics
- A rewriting framework for rule-based programming dynamic applications
- Rewriting strategies and strategic rewrite programs
- Title not available (Why is that?)
- Ruler: Programming Type Rules
- Constructing language processors with algebra combinators
- Preventing injection attacks with syntax embeddings
- A higher-order graph calculus for autonomic computing
- Deduction, strategies, and rewriting
- A port graph calculus for autonomic computing and invariant verification
- GrGen
- JastAdd
- ELAN
- TinkerType
- WebDSL
- LISA
- ANTLR
- PROGRES
- ATERM
- CC4J
- TAMPR
- Fujaba
- AGG
- OBJ3
- Rascal
- Maude
- Saoithin
- UTP2
- GHC
- 2OBJ
- CLIPS
- PORGY
- FADAlib
- HOCL
- Z2sal
- MMT
- PMaude
- APS
- Jwig
- Curry
- CodeBoost
- Polyp
- GROOVE
- MFE
- ITP
- CARIBOO
- JITty
- Marvin
- PSMaude
- Sparkle
- Tom
- ASF+SDF
- TXL
- dk.brics.automaton
- visone
- Scheme
- ScalaQL
- ORME
- KIDS
- XPTO
- Xtext
- Spoofax
- A survey of strategies in rule-based program transformation systems
- Jaza
- MetaEdit+
- Simpl
- SugarJ
- Proteus
- CHR
- Ampersand
- Hugs
- SymPLFIED
- MGS
- UTPCalc
- PPG
- XAJ
- Centaur
- Castor
- Java+ITP
- K Prover
- RACR
- Ruler
- MOSBIE
- A Rewriting Logic Approach to Type Inference
- Static consistency checking of web applications with WebDSL
- GP 2
- GDK
- The metafront system: safe and extensible parsing and transformation
- Induction for termination with local strategies
- Program transformation with scoped dynamic rewrite rules
- Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations
- Silver: an extensible attribute grammar system
- A strategy language for graph rewriting
- Generation of abstract programming interfaces from syntax definitions
- Data Movement Optimisation in Point-Free Form
- Anti-patterns for rule-based languages
- Recent Trends in Algebraic Development Techniques
This page was built for software: Stratego
