Seminar: Compilerbau

Inhalt

• Syntaxanalyse
• Semantische Analyse
• Code-Erzeugung
• Optimierung

Termine

Voraussetzung

Teilnahme an der Vorlesung Compilerbau, Vordiplom

Zuordnung

Theoretische Informatik, Vertiefung

Hinweise zur Vortrag und Ausarbeitung

• Hinweise zur Ausarbeitung
• Hinweise zum Vortrag
• Weitere Anmerkungen zu Ausarbeitung und Vortrag

Literatur, Themen & Betreuer

Sofern nicht anders angegeben bin ich Ihr Betreuer. Sämtliche Literatur finden Sie in der Informatik-Bibliothek oder online. Hervorgehobene Termine fallen auf einen Freitag, weil der vorhergende Tag ein Feiertag ist.

[poletto99linear]

M.Poletto, V.Sarkar: Linear scan register allocation, ACM Transactions on Programming Languages and Systems, 21:5, 1999.

[ramsey00single]

Norman Ramsey,Simon Peyton Jones: A single intermediate language that supports multiple implementations of exceptions,ACM SIGPLAN Notices,35(5) : 285—298, 2000.

[franz02online]

Michael Franz, Vivek Haldar, Chandra Krintz, Christian H. Stork: Online Verification of Offline Escape Analysis,Technical Report No. 02-21, Department of Information and Computer Science, University of California, Irvine;September 2002.

[glanville78method]

R S Glanville,S L Graham: A new method for compiler code generation,5th POPL conference record, pages 231--240, 1978.

[aho89code]

Aho, A. V., M. Ganapathi,S. W. K. Tjiang: Code Generation Using Tree Matching and Dynamic Programming,ACM Transactions on Programming Languages and Systems 11(4) : 491—516, 1989.

[mckenzie95error]

Bruce J. McKenzie, Corey Yeatman, Lorraine {de Vere}: Error Repair in Shift-Reduce Parsers,ACM Transactions on Programming Languages and Systems,17(4) : 672—689, July 1995.

[ganapathi85affix]

M. Ganapathi, C. Fischer: Affix Grammar Driven Code Generation,ACM Trans. Programming Languages and Systems, 7(4): 560-599, 1985.

[corchuelo02repairing]

Rafael Corchuelo, José A. Pérez, Antonio Ruiz, Miguel Toro: Repairing syntax errors in LR parsers,ACM Transactions on Programming Languages and Systems (TOPLAS), 24(6) : 698 - 710 , November 2002.

[vogt89higher]

H.H.Vogt ,S.D. Swierstra ,M. F. Kuiper: Higher order attribute grammars,Proceedings of the {ACM} {SIGPLAN} '89 Conference on Programming Language Design and Implementation, 24(7) : 131--145, June 1989.

[purdom80semantic]

P.Purdom, C.A.Brown Semantic Routines and LR(k) Parser, Acta Informatica, 14(4) : 299-315, 1980.

[tai79noncanonical]

Kou-Chung Tai: Noncanonical SLR(1) Grammars,ACM Transactions on Programming Languages and Systems (TOPLAS), 1(2) : 295 - 320 , October 1979.

[pai80global]

Ajit B. Pai, Richard B. Kieburtz: Global Context Recovery: A New Strategy for Syntactic Error Recovery by Table-Drive Parsers,ACM Transactions on Programming Languages and Systems (TOPLAS), 2(1) : 18 - 41, January 1980.

[soininen80space]

Eljas Soisalon-Soininen: the Space Optimizing Effect of Eliminating Single Productions from LR Parsers,, Acta Informatica 14: 157-174 (1980).

[grezzi79incremental]

Carlo Grezzi, Dino Mandrioli: Incremental Parsing,ACM Transactions on Programming Languages and Systems (TOPLAS), 1(1):58 - 70 , July 1979.

[aho76optimal]

A.V.Aho, S.C.Johnson: Optimal Code Generation for Expression Trees, Journal of the ACM, 23(3), 1976.

[briggs94improvements]

Preston Briggs, Keith D. Cooper, Linda Torczon: Improvements to Graph Coloring Register Allocation,ACM Transactions on Programming Languages and Systems, 16(3): 428-455, May 1994.

[chow90priority]

Fred C. Chow and John L. Hennessy: The priority-based coloring approach to register allocation ,ACM Trans. on Programming Languages and Systems, 12(4):501-536, Oct. 1990.