<language> 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].
(07 Jun 1996)