This is the language manual for OPTIMIX version 2.5, the
						optimizer generator.  OPTIMIX can be used to 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 exhaustive graph rewrite systems
						(XGRS)

OPTIMIX language manual (version 2.5)

Analyse und Transformation kontrollfluáparalleler Programme