liu.seSearch for publications in DiVA
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Graph rewrite systems for program optimization
Univ Karlsruhe, Inst Programmstrukturen & Datenorg, D-76128 Karlsruhe, Germany.
2000 (engelsk)Inngår i: ACM Transactions on Programming Languages and Systems, ISSN 0164-0925, E-ISSN 1558-4593, Vol. 22, nr 4, s. 583-637Artikkel i tidsskrift (Fagfellevurdert) 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.

sted, utgiver, år, opplag, sider
2000. Vol. 22, nr 4, s. 583-637
Emneord [en]
algorithms, languages, performance, theory, graph rewrite systems, compiler generators, program analysis, program optimization, program transformation, specification, stratification, very high-level languages, visual programming
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-49350OAI: oai:DiVA.org:liu-49350DiVA, id: diva2:270246
Tilgjengelig fra: 2009-10-11 Laget: 2009-10-11 Sist oppdatert: 2017-12-12

Open Access i DiVA

Fulltekst mangler i DiVA

I samme tidsskrift
ACM Transactions on Programming Languages and Systems

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 40 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf