Attributierte Grammatiken und Attributierungsalgorithmen

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

Diese Monographie gibt einen systematischen Überblick über Attributierte Grammatiken als ein Mittel zur Darstellung und Analyse von Kontextabhängigkeiten in Compilern unter Betonung der für Compiler-erzeugende Systeme erforderlichen Algorithmen. Attributierte Grammatiken sind ein inzwischen weltweit anerkanntes Mittel zur Beschreibung der statischen Semantik von Programmiersprachen. Mit der verstärkten Verbreitung von Compiler-Generatoren wird es auch für den Praktiker interessant, für spezielle Zwecke geeignete Sprachen zu entwickeln und zu implementieren. Diese ausführliche vergleichende Darstellung der verfügbaren Ergebnisse und Methoden weist auch dem Nichtspezialisten den Weg, einen für seine Sprache geeigneten Algorithmus zu finden. Betont werden vor der Systematik der theoretischen Erkenntnisse vor allem die in Compiler-Erzeugenden Systemen wie GAG oder HLP78 bewährten Algorithmen. Für den im Compilerbau Tätigen sind sicherlich die einheitliche Zusammenfassung der großen Vielzahl bekannter Ergebnisse über Attributierte Grammatiken und die sehr umfangreiche Bibliographie von Interesse.