A Combinator Library for Specifying Program Transformation

Tetsuo Yokoyama,Zhenjiang Hu
2004-01-01
Abstract:We present an embedded domain specific language for specifying program transformations. The lan- guage is implemented as a monadic combinator library in Haskell. The transformations are done at compile time using the mechanism of Template Haskell. The library provides a modular way to structure abstract and intuitive transformation strategies by higher-order matching and monadic programming.
What problem does this paper attempt to address?