OPTIMIX Language Manual
(for 2.5)

Uwe Aßmann

http://i44www.info.uni-karlsruhe.de/$\sim$assmann/optimix.html

Abstract:

This is the language manual for , the optimizer generator. can be used to generate program analyses and transformations. Its input language is based on and graph rewriting. Especially two new classes of graph rewrite systems are used: edge addition rewrite systems (EARS) and exhaustive graph rewrite systems (XGRS).

The development of has partially been supported by the Esprit project COMPARE (No. 5399). The tool is not in the public domain; however, a free version can be ordered from the author.

Keywords: Program analysis, program transformation, optimizer generator, Datalog, graph rewriting.