… supports the high-level specification of transformations by means of rewriting strategy combinators that allow a natural modeling of data- and control-flow without …
CC 2005: 204-220 [doi]… . Strategy combinators are used to composed two-level rewrite rules into complete rewrite …
ENTCS, 200(3):3-23, 2008. [doi]… a functional language, and we present a combinator library including generic traversal combinators. We illustrate our technique of programming with functional … problems. As a solution, we introduce functional strategies: typeful generic …
PADL 2002: 137-154 [doi]… are combined into transformation \emph{strategies} by means of combinators that determine where and in what order rules are applied. These combinators include …
In Workshop on Generic Programming (WGP 2000). 2000:… strategies. We capture strategic polymorphism by just two primitive combinators … paradigm. Meanwhile, a number of Haskell-based models and combinator suites were …In previous work, we introduced the notion of functional strategies: first …
corr, cs.PL/0212048, 2002. [doi]… User-definable strategies for the application of rewrite rules provide a means … way. This paper describes a strategy language and its interpretation. The language … labels are atomic strategies. Compound strategies are formed by means …
ASF+SDF 1997:… of a strategy plays a central role. A strategy is a generic, dataprocessing action. Strategies are first-class citizens as witnessed by a combinator style. Two important characteristics of strategies are that they can traverse into compound …
2002.… and in particular on transformation strategies available in various approaches … strategies, systems with programmable strategies, traversal strategies, and context …
JSC, 40(1):831-873, 2005. [doi]… In previous work, we introduced the fundamentals and a supporting combinator … on the notion of a functional strategy: a first-class generic function that cannot … from a user’s perspective, and we initiate a catalogue of strategy design …
corr, cs.PL/0204015, 2002. [doi]… of combinator libraries that develop a specific domain or programming idiom has … introduced the fundamentals and a supporting combinator library for functional … based on the notion of a functional strategy: a first-class generic function …
RULE 2002: 1-14 [doi]… construction from combinators which support typeful generic traversal. Using these combinators, program abstractions can be composed that capture e.g. reusable …. These tools generate combinator support from SDF grammars. Parsers and pretty …
PhD thesis, University of Amsterdam, Amsterdam, The Netherlands, 2003.