Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
Jump to user comments
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.
Related search result for "Trafola-H"
  • Words pronounced/spelled similarly to "Trafola-H"
    TrafoLa Trafola-H
  • Words contain "Trafola-H" in its definition in Computing (FOLDOC) dictionary: 
    Trafola-H TrafoLa
Comments and discussion on the word "Trafola-H"