OPTIMIX language report for OPTIMIX 7.0

This is the language manual for OPTIMIX, the optimizer generator.
It can be used generate program analyses and transformations.
Its input language is based on DATALOG and graph rewriting.
Especially two new classes of graph rewrite systems are used:
edge addition rewrite systems (EARS) and stratified graph rewrite
systems are used: edge addition rewrite systems (EARS) and stratified
graph rewrite systems (stratified GRS).
OPTIMIX has been developed in the Esprit project COMPARE (NO. 5399).
It is currently not free and can be used only in the context of the
CoSy compiler framework.
For a licence, contact the author or info@ace.nl.