...shows
Our personal experience consists in coding the optimizer generator tool OPTIMIX [Aßm96] with the pattern match tool PUMA
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Uwe Assmann and Rainer Schmidt
Sep. 12 1997