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
	* [[CategoryCategory][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]]
	* [[File extensions]]

	* [[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	

	* WildCard

	* [[XTC]] -- [[Transformation tool composition]]																		  
------
ategoryGlossary