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