Trafola

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  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)