Bibliographie Compilerbau

Der Compilerbau ist ein Fachgebiet der Informatik, das auf eine lange Geschichte zurückblickt. Entsprechend reichhaltig ist die Literatur zu diesem Thema. Die Auswahl der genannten Werke ist subjektiv und unvollständig, versucht aber, einen Querschnitt durch alle Aspekte des Compilerbaus zu bieten. Aufgenommen wurden einige alte, aber gute Werke, genauso wie moderne Arbeiten, wie z.B. die Dissertation von Düpmeier, die sich mit der Spezifikation formaler Systeme auseinandersetzt.

Für einführende Studien sind die Werke von Kopp, Hunter und Wirth geeignet. Der absolut empfehlenswerte Lehrbuch-Klassiker ist das berühmte "Drachenbuch" von Aho, Sethi und Ullman, das zu allen Aspekten des Compilerbaus für imperative Sprachen ein- und weiterführende Informationen bietet. Sollten Sie der englischen Sprache leidlich mächtig sein, so ziehen Sie besser die Originalausgabe der zweibändigen deutschen Übersetzung vor. Eine kompakte moderne Darstellung unseres Fachgebietes ist der Band von Wilhelm und Maurer, der auch auf die Übersetzung logischer und funktionaler Programmiersprachen eingeht. Vertiefte Studien theoretischer Art bieten die Werke von Levi und Aho, während Holubs "Compiler Design in C" konkret zeigt, wie sich mit der Programmiersprache C Compiler entwickeln lassen. Der Arbeitsbericht YAUL beschreibt detailliert die Programmquelle eines einfachen Übersetzers, der an der FH Rosenheim im Rahmen der Vorlesung "Compilerbau II" im Sommersemester 1995 entwickelt wurde.

Die Theorie der formalen Sprachen wird in den Werken von Loeckx und Denning gut aufbereitet. Für vertiefte Studien kann auch das Werk Hopcroft empfohlen werden. Einen guten Überblick über die Theorie der Automaten verschafft Minskys zwar altes, aber immer noch lesenswerte Buch "Computation - Finite and Infinite Machines". Auch die Erforschung natürlicher Sprachen setzt sich mit formalen Aspekten auseinander; es sei an dieser Stelle das Werk von Lyons (Danke für den Tip, Monika!)genannt.

Der Einsatz der Entwicklungswerkzeuge lex und yacc wird in den Büchern von Staubach und Hewlett-Packard knapp, aber gut, beschrieben.

Viele Programm-Beispiele in diesem Skript beziehen sich auf die Programmiersprache C. Da C im Compilerbau als Implementierungssprache verbreitet ist und zudem eine gut portable Sprache ist, wurden ergänzend einige Titel von C-Lehrbüchern aufgenommen.

 Compilerbau

Aho, Alfred V.; Sethi, Ravi; Ullman, Jeffrey D.:
Compilers - Principles, Techniques, and Tools
Addison-Wesley, Reading Massachusetts, 1986
 
Aho, Alfred V.; Ullman, Jeffrey D.:
The Theory of Parsing, Translation and Compiling
Volume I: Parsing
Volume II: Compiling
Prentice-Hall Inc., Englewood Cliffs, New Jersey, 1972/73
 
Bauer, Friedrich L.; Eickel, J. (Hrsg.):
Compiler Construction - An Advanced Course
Second Edition, Springer Verlag, Heidelberg, 1976
 
Bornat, Richard:
Understanding and Writing Compilers - A do-it-yourself Guide
The Macmillan Press Ltd., London, 1979
 
Brown, Peter John:
Writing Interactive Compilers and Interpreters
John Wiley & Sons, Chichester, 1979
 
Compilerbau-II-Arbeitsgruppe, FHR:
YAUL - the 6th generation language
Fachhochschule Rosenheim, Sommersemester 1995
 
Gramatke, Hans-Peter:
Compilerbau - Skriptum zur Vorlesung an der FH Rosenheim
4. Aufl., München/Rosenheim, 1995
 
Holub, Allen I.:
Compiler Design in C
Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1990
 
Hunter, Robin:
Compilers - Their Design and Construction Using Pascal
John Wiley & Sons, Chichester, 1985
 
Kopp, Herbert:
Compilerbau - Grundlagen, Methoden, Werkzeuge
Carl Hanser Verlag, München, 1988
 
Levi, J.; deVlaminck, K. et al:
A Programming Methodology in Compiler Construction
Part 1: Concepts
Part 2: Implementation
North-Holland Publishing Company, Amsterdam, 1982
 
Schneider, Hans-Jürgen:
Compiler - Aufbau und Arbeitsweise
Walter de Gruyter Verlag, Berlin, 1975
 
Schmitt, Franz Josef:
Praxis des Compilerbaus
Carl Hanser Verlag, München, 1992
 
Waite, William M.; Goos, Gerhard:
Compiler Construction
Springer-Verlag, New York, 1984
 
Wilhelm, Reinhard; Maurer, Dieter:
Übersetzerbau - Theorie, Konstruktion, Generierung
Springer-Verlag, Berlin, 1992
 
Wirth, Niklaus:
Compilerbau
B. G. Teubner Verlag, Stuttgart, 1986
 
Zima, Hans:
Compilerbau
Band I Analyse
Band II Synthese
Bibliographisches Institut, Mannheim, 1982
 

 Werkzeuge für den Compilerbau

Hewlett-Packard (Ed.):
C Programming Tools - HP 9000 Computers
Hewlett Packard Company, USA, 1991
 
Rechenberg, Peter; Mössenböck, Hanspeter:
Ein Compiler-Generator für Mikrocomputer
Carl Hanser Verlag, München, 1985
 
Schreiner, A.T.; Friedman, H. G.:
Compiler bauen mit UNIX
Carl Hanser Verlag, München, 1985
 
Staubach, Gottfried:
UNIX-Werkzeuge zur Textmusterverarbeitung - Awk, Lex und Yacc
Springer-Verlag, Berlin, 1989
 

 Theorie der formalen Sprachen

Denning, Peter J.; Dennis, Jack B.; Qualitz, Joseph E.:
Machines, Languages, and Computation
Prentice-Hall, Englewood Cliffs, New Jersey, 1978
 
Loeckx, Jacques; Mehlhorn, Kurt; Wilhelm, Reinhard:
Grundlagen der Programmiersprachen
B. G. Teubner Verlag, Stuttgart, 1986
 
Maurer, Hermann:
Theoretische Grundlagen der Programmiersprachen
Bibliographisches Institut, Mannheim 1969
 
Salomaa, Arto K.:
Formale Sprachen
Springer-Verlag, Berlin, 1978
 

 Theorie der endlichen Automaten und State-Machines

Aiserman, Mark A.; Gussew, L.A. et al:
Logik - Automaten - Algorithmen
R. Oldenbourg Verlag, München/Wien 1968
 
Berzins, Valdis:
Software Engineering with Abstractions
Addison-Wesley Publishing Company, Reading, Mass., 1990
 
Brauer, Wilfried:
Automatentheorie - Eine Einführung in die Theorie endlicher Automaten
B. G. Teubner Verlag, Stuttgart, 1984
 
Deussen, Peter:
Halbgruppen und Automaten
Springer-Verlag, Berlin, 1971
 
Düpmeier, Clemens:
Algebraische Spezifikation und Modellierung in Höheren Petri-Netzen mit zustandsabhängiger Schaltregel
Kernforschungszentrum Karlsruhe, Bericht KfK 5279, Januar1994
 
Filkorn, Thomas:
Symbolische Methoden für die Verifikation endlicher Zustandssysteme
Technische Universität München, 1992
 
Hiller, Thomas:
Prozeßprogrammierung mit grafischen Objekten
Universität Karlsruhe, Mai 1993
 
Hopcroft, John E.; Ullman, Jeffrey D.:
Introduction to Automata Theory, Languages, and Computation
Addison-Wesley Publishing Company, Reading, Massachusetts, 1979
 
Minsky, Marvin L.:
Computation - Finite and Infinte Machines Prentice-Hall Inc. Englewood Cliffs, N.J. 1967
 
Rattray, Charles (Ed.):
Specification and Verification of Concurrent Systems
Springer-Verlag, London, 1990
 
Reusch, Bernd:
Lineare Automaten
Bibliographisches Institut, Mannheim, 1969
 

 Programmierung in C

Gramatke, Hans-Peter:
Programmieren in C - Skriptum zur Vorlesung an der FH Rosenheim
3. Aufl., München/Rosenheim, 1992
 
Harbision, Samuel P.; Steele, Guy R.:
C - Ein Referenzhandbuch
Prentice Hall / Wolfram's Fachverlag, 1991
 
Hewlett-Packard (Ed.):
C Programmer´s Guide - HP 9000 Computers
Hewlett-Packard Company, USA, 1991
 
Schildt, Herbert:
C - The Complete Reference
Osborne-Mc-Graw-Hill,
 

 Ergänzende Literatur

Lyons, John:
Einführung in die moderne Linguistik
4. Aufl., Verlag C. H. Beck, München, 1975
 


Stand: 19.11.2002 /
 HPs Home      Compiler/Home