Trafola-H(ID:1665/tra009)


A specification language for program transformations. Functional, statically typed, polymorphic, with extended constructs for pattern-matching


Structures:
References:
  • Heckmann, R. et al, "Trafola-H Reference Manual", U Saarlandes, Saarbrucken 1991. view details