Bücher von Reinhard Wilhelm

This book deals with the analysis phase of translators for programming languages. It describes lexical, syntactic and semantic analysis, specification mechanisms for these tasks from the theory of formal languages and methods for automatic generation.

This book deals with the analysis phase of translators for programming languages. It describes lexical, syntactic and semantic analysis, specification mechanisms for these tasks from the theory of formal languages and methods for automatic generation.

This book shows how a compiler establishes correspondence between source and target programs, describing the compilation of the source language into the language of the associated virtual machine for a functional, object-oriented programming language.

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.

ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.