KIT | KIT-Bibliothek | Impressum | Datenschutz

A tutorial for Optimix

Assmann, Uwe

OPTIMIX is a tool for generating algorithms which construct and
transform directed relational graphs.
In particular, it facilitates many tasks in program compilation and
optimization. OPTIMIX's input language allows to specify graph queries
which localize analysis information as well as graph rewrite systems
which describem transformations.
The generator type-checks the rewrite systems with a graph data model
and tests whether they fulfil a termination criterion.
This report explains the advantages of the OPTIMIX specification
language for compiler writers and demonstrates that OPTIMIX can be
applied to three major problem classes of program rewriting: graph
reachability problems, context-sensitive pattern match problems, and
mark/transform problems.

Volltext §
DOI: 10.5445/IR/62898
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Forschungsbericht/Preprint
Publikationsjahr 1998
Sprache Englisch
Identifikator ISSN: 1432-7864
KITopen-ID: 62898
Verlag Universität Karlsruhe (TH)
Serie Interner Bericht. Fakultät für Informatik, Universität Karlsruhe ; 1998,14
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page