Language Extensions
Stratego -- Strategies for Program Transformation
This page lists StrategoLanguage constructs and features that are desirable to have. Feel free to add ideas by adding an item with a descriptive name.
- QuotedConstructors
- TermInjections? / SubSorts?
- RightToLeftTraversal
- FinalDefinitions
- ReversibleRules
- RepresentStrategyAsTerm
- WellFormednessChecker?
ToDo