… and program transformation. Tree (term) traversal is frequently used … rewriting with traversal functions that automate tree traversal in a simple and type-safe way. Traversal functions can be bottom-up or top-down traversals and can …
TOSEM, 12(2):152-190, 2003. [doi]… programs, namely those expressed as idiomatic traversals. Starting out … a general inversion law, applicable to any monad, relating a traversal over the elements of an arbitrary traversable type to a traversal that goes in the opposite …
haskell 2013: 25-36 [doi]… and program transformation. Tree (term) traversal is frequently used … rewriting is extended with automatic tree traversal by adding two primitive tree traversal strategies and complementing them with three types of traversals …
ENTCS, 70(6):100-117, 2002. [doi]… Lacking support for generic traversal, functional programming languages suffer … generic traversal into subterms. We show how strategies are modelled inside a functional language, and we present a combinator library including generic traversal …
PADL 2002: 137-154 [doi]… Symbolic state space traversal techniques are one of the most notable achievements in the fields of formal verification and of automated synthesis. Transition … and of traversing the state space. Experimental results show that performances similar …
charme 1993: 155-166… The Visitor design pattern allows the encapsulation of polymorphic behavior outside the class hierarchy on which it operates. A common application of Visitor is the encapsulation of tree traversals. A clean separation can be made between …
OOPSLA 2001: 270-282 [doi]… : primitives for traversal to the direct subterms of a node, allowing the definition of many kinds of full term traversals; full control over recursion in traversals … traversal with data type specific pattern matching, and separating logic …
In Workshop on Generic Programming (WGP 2000). 2000:… , reusability, and robustness. Access to and traversal over subelements of typed …. As a consequence, type-safety comes at the cost of lengthy traversal code, which can … construction from combinators which support typeful generic traversal. Using …
PhD thesis, University of Amsterdam, Amsterdam, The Netherlands, 2003.… patterns to facilitate construction and traversal of parse trees represented …
SCP, 47(1):59-87, 2003. [doi]… implement a number of design patterns to facilitate construction and traversal …
ENTCS, 44(2):34-58, 2001. [doi]