Übersetzerbau: Band 3: Analyse und Transformation

این کتاب مرحله بهینه سازی مترجمان را پوشش می دهد. در این مرحله برنامه های افزایش کارایی تغییر می کند. برای اینکه معنایی برنامه ها در طول این تحولات حفظ شود، شرایط کاربردی مرتبط باید در هر مورد برآورده شود. اینها با استفاده از تجزیه و تحلیل استاتیک برنامه ها بررسی می شوند. در این کتاب، تحلیل‌ها و دگرگونی‌های برنامه‌های امری و عملکردی به طور سیستماتیک شرح داده شده است. این کتاب علاوه بر شرح دقیق بهینه‌سازی‌های مهم، مقدمه‌ای کوتاه بر مفاهیم و روش‌های لازم برای معناشناسی عملیاتی، شبکه‌های کامل و الگوریتم‌های نقطه ثابت ارائه می‌دهد.

Das Buch behandelt die Optimierungsphase von Übersetzern. In dieser Phase werden Programme zur Effizienzsteigerung transformiert. Damit die Semantik der Programme bei diesen Transformationen erhalten bleibt, müssen jeweils zugehörige Anwendbarkeitsbedingungen erfüllt sein. Diese werden mittels statischer Analyse der Programme überprüft. In diesem Buch werden Analysen und Transformationen imperativer und funktionaler Programme systematisch beschrieben. Neben einer detaillierten Beschreibung wichtiger Optimierungen bietet das Buch eine knappe Einführung in die erforderlichen Konzepte und Methoden zur operationalen Semantik, zu vollständigen Verbänden und Fixpunktalgorithmen.