liu.seSök publikationer i DiVA
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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 (Engelska)Ingår i: ACM Transactions on Programming Languages and Systems, ISSN 0164-0925, E-ISSN 1558-4593, Vol. 22, nr 4, s. 583-637Artikel i tidskrift (Refereegranskat) 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.

Ort, förlag, år, upplaga, sidor
2000. Vol. 22, nr 4, s. 583-637
Nyckelord [en]
algorithms, languages, performance, theory, graph rewrite systems, compiler generators, program analysis, program optimization, program transformation, specification, stratification, very high-level languages, visual programming
Nationell ämneskategori
Naturvetenskap
Identifikatorer
URN: urn:nbn:se:liu:diva-49350OAI: oai:DiVA.org:liu-49350DiVA, id: diva2:270246
Tillgänglig från: 2009-10-11 Skapad: 2009-10-11 Senast uppdaterad: 2017-12-12

Open Access i DiVA

Fulltext saknas i DiVA

I samma tidskrift
ACM Transactions on Programming Languages and Systems
Naturvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

urn-nbn

Altmetricpoäng

urn-nbn
Totalt: 40 träffar
RefereraExporteraLänk till posten
Permanent länk

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