Übersetzerbau: Band 2: Syntaktische Und Semantische Analyse

ISBN-13: 9783642011344 / Niemiecki / Miękka / 2012 / 247 str.

Reinhard Wilhelm; Helmut Seidl; Sebastian Hack

Opis

Das Buch behandelt die Analysephase von Ubersetzern fur Programmiersprachen. Die Autoren beschreiben die lexikalische, syntaktische und semantische Analyse sowie Spezifikationsmechanismen fur diese Aufgaben aus der Theorie der formalen Sprachen und automatische Erzeugungsverfahren aus der Theorie der Automaten. Vorgestellt wird eine konzeptionelle Ubersetzerstruktur, mit der ein Eingabe- in ein Maschinenprogramm transformiert wird. Das Buch enthalt neben der notwendigen Theorie auch Hinweise zur Implementierung von Ubersetzern.

Recenzje

From the book reviews:

"This book is the second volume in a series of three books on compiler construction written in German. After introducing the general form of the usual compiler pipeline, it has three main topics: lexing, parsing and semantic analysis ... . It does seem to me that the main audience for this book consists of students of computer science at a German Hochschule." (Juriaan Hage, zbMATH, Vol. 1302, 2015)

Spis treści

Struktur von Übersetzern.- Lexikalische Analyse.- Syntaktische Analyse,- Semantische Analyse.

Blurb

Das Buch behandelt die Analysephase von Übersetzern für Programmiersprachen. Es beschreibt die lexikalische, die syntaktische und die semantische Analyse, Spezifikationsmechanismen für diese Aufgaben aus der Theorie der formalen Sprachen und automatische Erzeugungsverfahren aus der Theorie der Automaten. Vorgestellt wird eine konzeptionelle Übersetzerstruktur, also eine Aufteilung in eine Menge von Moduln, welche ein Eingabeprogramm in einer Folge von Schritten in ein Maschinenprogramm transformieren, und beschreibt die Schnittstellen zwischen den Moduln. Schließlich werden auch die Strukturen von realen Übersetzern skizziert. Das Buch enthält die notwendige Theorie und Hinweise zur Implementierung.