Trafola-H

Trafola-H

A specification language for program transformations.Functional, statically typed, polymorphic, with extendedconstructs for pattern-matching. "Trafola-H ReferenceManual", R. Heckmann et al, U Saarlandes, Saarbrucken 1991.