TrafoLa

TrafoLa

(language)A functional programming language designed in thePROSPECTRA ESPRIT project to support declarativespecification of program transformations. It provideshigher-order pattern matching on expression trees withbacktracking.

[Heckmann88].