bersetzerbau Theorie, Konstruktion, Generierung [Paperback]

Diese zweite, ?berarbeitete und erweiterte Auflage vermittelt Studenten der Informatik Fundament und R?stzeug des ?bersetzerbaus f?r imperative, funktionale, logische und - neu hinzugekommen - objektorientierte Programmiersprachen und moderne Zielarchitekturen: von den theoretischen Grundlagen bis zu konstruktiven und generativen Verfahren.
Die statische Analyse von Programmen, die f?r die Unterst?tzung des Softwareentwicklungsprozesses ebenso wichtig ist wie hier f?r die Erzeugung effizienter Zielprogramme, wird semantisch fundiert. Die erforderlichen Grundkenntnisse aus der Theorie der formalen Sprachen und Automaten werden passend bereitgestellt.
Das Buch enth?lt zahlreiche ?bungsaufgaben und eignet sich zur Vorlesungsbegleitung ebenso wie zum Selbststudium.Diese zweite, ?berarbeitete und erweiterte Auflage vermittelt Studenten der Informatik Fundament und R?stzeug des ?bersetzerbaus f?r imperative, funktionale, logische und - neu hinzugekommen - objektorientierte Programmiersprachen und moderne Zielarchitekturen: von den theoretischen Grundlagen bis zu konstruktiven und generativen Verfahren.
Die statische Analyse von Programmen, die f?r die Unterst?tzung des Softwareentwicklungsprozesses ebenso wichtig ist wie hier f?r die Erzeugung effizienter Zielprogramme, wird semantisch fundiert. Die erforderlichen Grundkenntnisse aus der Theorie der formalen Sprachen und Automaten werden passend bereitgestellt.
Das Buch enth?lt zahlreiche ?bungsaufgaben und eignet sich zur Vorlesungsbegleitung ebenso wie zum Selbststudium.1 Einleitung.- 1.1 H?here Programmiersprachen.- 1.2 Implementierung von Programmiersprachen.- 1.2.1 Interpreter.- 1.2.2 ?bersetzer.- 1.2.3 Reale und abstrakte Maschinen.- 2 ?bersetzung imperativer Programmiersprachen.- 2.1 Sprachkonzepte und ihre ?bersetzung.- 2.2 Die Architektur der P-Maschine.- 2.3 Wertzuweisungen und Ausdr?cke.- 2.4 Bedingte und iterative Anweisungen, Anweisungsfolgen.- 2.5 Speicherbelegung f?r VarilsÄ