A term traversal is a strategy that visits the subterms of a term in some order.

See also

Revision: r1.1 - 14 Jun 2003 - 13:07 - EelcoVisser
Stratego > StrategoGlossary > TermTraversal
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback