This system is an outcome of the project "Application of the Theory of Tree Transducers to Functional Programming" and illustrates the construction presented in [VK01]. It may be used to automatically compose two macro tree transducers [EV85] given certain restrictions. It uses an extension of Haskell (namely Haskell+) as specification language, but is able to output Haskell code on demand. Furthermore, it enables the user to apply some post-processing (detailed in [Voi01]) to the result and allows for a direct comparison to classical deforestation [Wad90], which is also implemented in the system (for macro tree transducers).
The system is completely implemented in Haskell, so you need either a Haskell compiler (e.g. GHC version 4.08 or later) or a Haskell interpreter (e.g. Hugs as of December 2001 or later) to run it. Please find instructions on how to compile included in the package.
This program is free software (as defined by the GPL 2) and comes with ABSOLUTELY no warranty. See the COPYING file included in the distribution for details.
The download package includes the full source, documentation, examples and instructions on how to build the system. Several formats are available:
Should you experience any problems, errors, etc., please feel free to contact us:
A document describing an earlier version of the system containing more transformations can be found here.