This is the language manual for , the optimizer generator. can be used to generate program analyses and transformations in C language. Its input language is based on and graph rewriting [Aßm94] [Aßm95] [Aßm96b]. 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.
It is highly recommended that the user first reads the papers [Aßm94] [Aßm95] [Aßm96b] [Aßm96a] [Aßm98]. [Aßm94], [Aßm96a], and [Aßm98] are available with the -package.