A
term traversal
is a strategy that visits the subterms of a term in some order.
See also
Tree traversal
?
Traversal strategy
?
Generic term traversal
Congruence operator
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