A specification language for program transformations. Functional, statically typed, polymorphic, with extended constructs for pattern-matching. "Trafola-H Reference Manual", R. Heckmann et al, U Saarlandes, Saarbrucken 1991.
Try this search on Wikipedia, OneLook, Google
Nearby terms: TrackPoint « tractor feed « TrafoLa « Trafola-H » trampoline » TRANDIR » TRANQUIL
