KIT | KIT-Bibliothek | Impressum | Datenschutz

OPTIMIX language manual (version 2.5)

Assmann, Uwe

Abstract:

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).

Open Access Logo


Volltext §
DOI: 10.5445/IR/62998
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Buch
Publikationsjahr 1998
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA629986
KITopen-ID: 62998
Erscheinungsvermerk Karlsruhe 1998. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1998,15.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page