OPTIMIX Language Manual (for OPTIMIX 2.0) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1996

OPTIMIX Language Manual (for OPTIMIX 2.0)

Abstract

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).
Fichier principal
Vignette du fichier
RT-0195.pdf (656.33 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00069976 , version 1 (19-05-2006)

Identifiers

  • HAL Id : inria-00069976 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More