OPTIMIX OPTIMIX is an optimizer generator. It 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 stratified graph rewrite systems (stratified GRS).

Current Version:   2.5 License Type:   ??

Home Site: http://i44s11.info.uni-karlsruhe.de/~assmann/optimix.html Source Code Availability:   Yes Available Binary Packages: Debian Package:   No RedHat RPM Package:   No Other Packages:   Yes, from Home Site Targeted Platforms: Sun, Linux/i686 Software/Hardware Requirements: None

Other Links: None Mailing Lists/USENET News Groups: None User Comments: None See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Tools & Utilities