KIT | KIT-Bibliothek | Impressum | Datenschutz

OPTIMIX language report for OPTIMIX 7.0

Assmann, Uwe

Abstract:


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.


Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Forschungsbericht/Preprint
Publikationsjahr 1995
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA63956
KITopen-ID: 6395
Erscheinungsvermerk Karlsruhe 1995. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,31.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page