trafola

from The Free On-line Dictionary of Computing (8 July 2008)

TrafoLa

   <language> A {functional programming} language designed in the
   {PROSPECTRA} {ESPRIT} project to support declarative
   specification of {program transformations}.  It provides
   higher-order {pattern matching} on expression trees with
   {backtracking}.

   [Heckmann88].

   (1996-06-07)