Übersetzerbau: Theorie, Konstruktion, Generierung

این نسخه دوم، اصلاح شده و توسعه یافته، پایه و ابزاری برای ساختن کامپایلرهای ضروری، کاربردی، منطقی و - تازه اضافه شده - زبان های برنامه نویسی شی گرا و معماری های هدف مدرن برای دانشجویان علوم کامپیوتر فراهم می کند: از مبانی نظری تا فرآیندهای سازنده و مولد.
تجزیه و تحلیل استاتیک برنامه ها، که به همان اندازه برای پشتیبانی از فرآیند توسعه نرم افزار مهم است، برای ایجاد برنامه های هدف کارآمد، بر اساس معناشناسی است. دانش اولیه لازم از تئوری زبان های رسمی و خودکار به طور مناسب ارائه شده است.
کتاب شامل تمرین های متعددی است و برای همراهی سخنرانی ها و همچنین برای خودآموزی مناسب است.

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.