| 释义 |
TrafoLa TrafoLa (language)A functional programming language designed in thePROSPECTRA ESPRIT project to support declarativespecification of program transformations. It provideshigher-order pattern matching on expression trees withbacktracking.
[Heckmann88]. |