Computer Science ColloquiumIm Rahmen des Informatik-Kolloquiums, das von den Instituten des Fachbereichs Informatik, der Österreichischen Gesellschaft für Informatik (ÖGI), der Arbeitsgemeinschaft für Datenverarbeitung (ADV) sowie der Österreichischen Computergesellschaft (OCG) abgehalten wird, spricht
Prof. Dr. John Gough
Oracle Labs, Brisbane, Queensland University of Technologyüber das Thema:
Reconceptualising Bottom-Up Tree RewritingZeit: Wed 17.7.2013, 16:00, 60 Minuten
Ort: S3 218
ZusammenfassungBottom-up tree rewriting is a widely used method for code selection in programming language compilers. The use of dynamic programming allows such rewriters to emit code sequences that are optimal with respect to some prescribed cost metric, at least for tree-structured computations. The semantics of rewriting are specified by the production rules of a tree grammar.
In this talk, I show that a suitable reinterpretation of the meaning of the non-terminal symbols of such grammars provides a significant increase in the expressivity of the rewriting system. In particular, the generation of instructions for flow of control may be subsumed into the rewriter. Likewise, transformation rules normally associated with peephole optimization are also conveniently expressible.
VortragenderJohn Gough is a professor emeritus at Queensland University of Technology in Brisbane and and a researcher at Oracle Labs, Brisbane. His research interests include programming languages, compilers and virtual machines. He is also the author of several books on these topics.
Einladender: Prof. Dr. Hanspeter Mössenböck, Institut für Systemsoftware
Liste aller Vorträge