Trafolah

1 definition found

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

  Trafola-H
       
          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.