bersetzerbau

Diese zweite, berarbeitete und erweiterte Auflage vermittelt Studenten der Informatik Fundament und Rstzeug des bersetzerbaus fr 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 fr die Untersttzung des Softwareentwicklungsprozesses ebenso wichtig ist wie hier fr die Erzeugung effizienter Zielprogramme, wird semantisch fundiert. Die erforderlichen Grundkenntnisse aus der Theorie der formalen Sprachen und Automaten werden passend bereitgestellt. Das Buch enthlt zahlreiche bungsaufgaben und eignet sich zur Vorlesungsbegleitung ebenso wie zum Selbststudium.