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
  • Term 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

• Data flow architecture
• Deterministic choice
• Display strategies
• Dynamic rule

• Evaluation order

• Format checker
• Fixed length tuple

• Generic term traversal
• Global backtracking^?
• Global choice^?
• Glue; see Stratego glue^?
• Guarded left choice

• Layout guidelines
• Left choice
• List constructor
• List matching
• List traversal

• Matching -- see pattern matching
  • Match strategy
• Meta Stratego
• Meta Explode

• Naming conventions
• NewName
• Non Deterministic Choice

• Overlay definition

• Pair constructor
• Pattern matching
• Pretty printer

• Recursion operator
• Recursive pattern
• Refactoring strategies
• Rewrite rule
• Rewriting strategy
• Rules versus strategies

• Scope constructs
  • Term variable scope^?
  • Dynamic rule scope^?
  • Anonymous file scope^?

• 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 annotation
  • Generic term deconstruction
  • TermProject
  • TermWrap
• Term traversal
  • Traversal combinators^?
  • Generic traversal
  • Innermost rewriting^?
  • Outermost rewriting^?
• Transformation rule

• Testing
  • StrategoUnit^?

• UglyPrinter
• Unit testing^?
• Unix programming^?

• WellFormedness Checker^?
• WildCard^?

• XTC -- Transformation tool composition

---

CategoryGlossary