OPTIMIX Language Manual (for OPTIMIX 2.0)

Uwe Assmann (1)

1 OSCAR - Syntactic Tools for Program Construction and Analysis

This is the language manual for OPTIMIX, 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).

Mots clés: COMPILER GENERATOR; PROGRAM OPTIMIZATION; SPECIFICATION; STRATIFICATION; VERY HIGH-LEVEL LANGUAGES; VISUAL PROGRAMMING

Domaines: Autre [cs.OH]

Uwe Assmann. OPTIMIX Language Manual (for OPTIMIX 2.0). [Research Report] RT-0195, INRIA. 1996, pp.54. ⟨inria-00069976⟩