liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Graph rewrite systems for program optimization
Univ Karlsruhe, Inst Programmstrukturen & Datenorg, D-76128 Karlsruhe, Germany.
2000 (English)In: ACM Transactions on Programming Languages and Systems, ISSN 0164-0925, Vol. 22, no 4, 583-637 p.Article in journal (Refereed) Published
Abstract [en]

Graph rewrite systems can be used to specify and generate program optimizations. For termination of the systems several rule-based criteria are developed, defining exhaustive graph reunite systems. For nondeterministic systems stratification is introduced which automatically selects single normal forms. To illustrate hew far the methodology reaches, parts of the lazy code motion optimization are specified. The resulting graph rewrite system classes can be evaluated by a uniform algorithm, which forms the basis for the optimizer generator OPTIMIX. With this tool several optimizer components have been generated, and some numbers on their speed are presented.

Place, publisher, year, edition, pages
2000. Vol. 22, no 4, 583-637 p.
Keyword [en]
algorithms, languages, performance, theory, graph rewrite systems, compiler generators, program analysis, program optimization, program transformation, specification, stratification, very high-level languages, visual programming
National Category
Natural Sciences
URN: urn:nbn:se:liu:diva-49350OAI: diva2:270246
Available from: 2009-10-11 Created: 2009-10-11 Last updated: 2011-01-14

Open Access in DiVA

No full text

In the same journal
ACM Transactions on Programming Languages and Systems
Natural Sciences

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 17 hits
ReferencesLink to record
Permanent link

Direct link