Syntaxbasierte Programmierwerkzeuge (German Edition) - Brossura

Brossura

ISBN 10: 3519021404 ISBN 13: 9783519021407

Casa editrice: Springer, 1995

Riassunto

Viele der ursprünglich für den Compilerbau entwickelten Methoden und Werkzeuge haben sich auch in anderen Einsatzgebieten als ausgesprochen nützlich erwiesen: Wer z. B. komplex strukturierte, große Datenmengen systematisch in ein anderes For­ mat bringen möchte oder wer zur Handhabung eines Programmsystems eine nichttri­ vi ale Kommandosprache benötigt, der kann die erforderlichen Programme effizient und sicher mit Hilfe sogenannter Compiler-Compiler erzeugen. Auf diese Weise gene­ rierte Programmbausteine lassen sich leichter an veränderte AufgabensteIlungen an­ passen als von Hand erstellte. Allerdings sind solide Grundkenntnisse in den Gebieten "Syntaxanalyse" und "Attributauswertung" Voraussetzung für die Beurteilung solcher Werkzeuge und ihre angemessene oder gar innovative Verwendung. Die einschlägige Lehrbuchliteratur zerfällt in drei Kategorien: Am umfassendsten sind die Compilerbaubücher. Die darin enthaltene Theorie ist aber meist so stark mit dem Hauptanwendungsbereich, der Übersetzung von Programmiersprachen, verwoben, daß Leser nur mit großem Aufwand die für andere Anwendungen benötigten Grundla­ gen herauslösen und übertragen können. In die zweite Kategorie fallen Bücher, wei­ che die Theorie formaler Sprachen und der Syntaxanalyse behandeln. Hier liegt das Gewicht auf einer umfassenden und systematischen Darstellung: Praktisch bedeutsa­ me Verfahren und Varianten stehen gleichrangig neben solchen, die nur von histori­ schem Interesse sind. Auffallend wenig lehrbuchartiges Material gibt es zur Theorie attributierter Grammatiken und Attributauswertungsverfahren. Die dritte Kategorie be­ steht aus Büchern, die einzelne Werkzeuge beschreiben. Darin werden jeweils die Handhabung und die Eigenschaften eines Produkts detailliert dargestellt, theoretische Grundlagen nur soweit, wie sie für das Verständnis des Werkzeugs benötigt werden.

Su questo libro

Dalla quarta di copertina

Gegenstand dieses Buchs sind die theoretischen Grundlagen, die man braucht, um Compiler-Compiler sinnvoll einsetzen und die Leistungsfähigkeit solcher Werkzeuge richtig beurteilen zu können. Dazu gehören neben attributierten Grammatiken als Beschreibungsmittel die heute verwendeten Syntaxanalyse- und Attributauswertungsverfahren. Das sind die LL(1)-Analyse und die verschiedenen Varianten oder LR-Analyse sowie dynamische, statische und inkrementelle Attributauswerter. Besonders ausführlich wird das Schreiben attributierter Grammatiken behandelt: Dabei müssen Probleme in korrekte und verarbeitungsgerechte Formulierungen umgesetzt werden. Die Theorie wird weitgehend informell motiviert und an vielen Beispielen dargestellt. Zu zentralen oder methodisch interessanten Sachverhalten findet man vollständige Beweise. Damit soll ein tieferes Verständnis für die Arbeitsweise praktischer Systeme wie LEX/ YACC gefördert und die Leser angeregt werden, sich noch eingehender mit deren mathematischen Grundlagen zu beschäftigen. Ein größeres Beispiel aus dem Bereich der Dokumentenverarbeitung illustriert die verschiedenen Einsatzmöglichkeiten von attributierten Grammatiken: Ob es um die Formatierung einer TeX-Quelldatei geht oder um die Expansion darin vorhandener Makros und Referenzen, ob die Quelle auf gewisse Eigenschaften hin geprüft oder das Ergebnis graphisch angezeigt werden soll, in all diesen Fällen läßt sich die Aufgabe mit einer geeigneten Attributierung adäquat lösen.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 1995
• Lingua: Tedesco
• ISBN 10: 3519021404
• ISBN 13: 9783519021407
• Rilegatura: Copertina flessibile
• Numero di pagine: 304
• Contatto del produttore: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3; Heidelberg; 69115; Germania