Program Transformation in HATS

HATS is a general purpose syntax derivation tree based transformation system in which transformation sequences are described in special purpose language. A powerful feature of this language is that unification is an explicit operation. By making unification explicit, an elegant framework arises in which to express complex application conditions which in turn enables refined control strategies to be realized. This paper gives an overview of HATS, focusing especially on the framework provided by the transformation language and its potential with respect to control and general purpose transformation