Source : Free On-Line Dictionary of Computing

TrafoLa
     
         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)