Stratego Glossary
Stratego -- Strategies for Program Transformation
This page provides an alphabetic glossary of terminology in the Stratego language. It is not complete nor finished. Feel free to add an entry or to improve an existing entry.
Other indexes
- Stratego language constructs: thematic ordering
- Categories
The Alphabetic Glossary
- Abstract syntax
- Algebraic signature
- Anonymous rewrite rule
- Annotation
- ATerm?
- AutoXT
- Capture failure
- Choice
- Deterministic choice
- Global backtracking?
- Global choice?
- Guarded left choice
- Composition of transformation components
- Stratego glue?
- XTC -- Transformation tool composition
- Concrete syntax
- Contextual rule
- Congruence operator
- Current subject term
- Generic term traversal
- Global backtracking?
- Global choice?
- Glue; see Stratego glue?
- Guarded left choice
- Matching -- see pattern matching
- Meta Stratego
- Meta Explode
- Recursion operator
- Recursive pattern
- Refactoring strategies
- Rewrite rule
- Rewriting strategy
- Rules versus strategies
- Separation of rules and strategies
- SystemS
- Stratego Unit?
- Strategy Definition
- Strategy Rule
- Stratego
- Stratego Signature
- Stratego Front
- Stratego Standard Library?
- Stratego Run Time System
- Stratego Compiler
- Stratego Interpreter
- Stratego Optimizer
- Stratego for
- Stratego for functional programmers
- Stratego for object oriented programmers?
- Stratego for imperative programmmers?
- Symbol table
- Template based code generation
- Term arguments
- Term
- Term traversal
- Traversal combinators?
- Generic traversal
- Innermost rewriting?
- Outermost rewriting?
- Transformation rule
- Testing
- StrategoUnit?
- WildCard?
ategoryGlossary