1 Einleitung. – 1.1 Strukturbearbeitung zur Sicherstellung syntaktischer Korrektheit von Programmen. – 1.2 Sofortberechnung zur Fehlersuche in Programmen. – 1.3 Inkrementelle Codegenerierung zur Unterstützung von Programmtests. – 1.4 Unterstützung von Programmentwicklungsmethoden. – 1.5 Die Notwendigkeit inkrementeller Algorithmen. – 1.6 Anpassung von Spezifikationen für die Sofortberechnung. – 1.7 Generierung sprachbasierter Programmierumgebungen. – 1.8 Der Synthesizer-Generator. – 2 Demonstration eines Beispieleditors. – 3 Das Attribut-Grammatik-Modell der Bearbeitung. – 4 Spezifikation eines Beispieleditors. – 4.1 Abstrakte Syntax. – 4.2 Attribute und Attributgleichungen. – 4.3 Unparsing-Schemata. – 4.4 Eingabeschnittstellen. – 4.5 Templates und Transformationen. - 5 Optionale Elemente und Platzhalter in Listen. - 5.1 Temporäre Platzhalter. - 5.2 Listen und optionale Elemente in SSL spezifizieren. - 5.3 Manipulation von Unterlisten. - 5.4 Auswahl von Singleton-Unterlisten im Vergleich zur Auswahl von Listenelementen. - 5.5 Listen parsen. - 5.6 Attributierungsregeln für den Vervollständigungsterm und den Platzhalterterm einer Liste. - 6 Hybrid-Editoren mit dem Synthesizer-Generator definieren. - 6.1 Die zugrundeliegende abstrakte Syntax einer Sprache definieren. - 6.2 Integration von Text- und Strukturbearbeitung. - 6.3 Berechnete Darstellungsrepräsentationen definieren. - 6.4 Kontextsensitive Übersetzungen und Transformationen. - 7 Statische Inferenz mit Attributen durchführen. - 7.1 Aggregations- und Informationsweitergabestrategien. - 7.2 Typinferenz mithilfe des Attributierungsmechanismus durchführen. - 8 Praktische Hinweise. - 8.1 Wie man mit der Entwicklung eines Editors beginnt. - 8.2 Modularer Aufbau von Editorspezifikationen. - 8.3 Häufig auftretende Probleme. - 9 Generierung von Code mithilfe von Attributen. - 9.1 Ansätze zur inkrementellen Rekompilation. - 9.2 Inkrementelle Rekompilation mithilfe von Attributen. - 10 Interaktive Programmverifikation. - 10.1 Ein einführendes Beispiel. - 10.2 Generierung von Verifikationsbedingungen. - 10.3 Überprüfung von Beweisen für Verifikationsbedingungen. - 10.4 Automatische deduktive Fähigkeiten. - 11 Die Implementierung. - 11.1 Grundlegende Organisation der Implementierung. - 11.2 Endlichkeit von Vervollständigungstermen. - 11.3 Generierung von Kopierregeln für aufwärts gerichtete Remote-Attributmengen. - 11.4 Verzögerte Referenzzählung. - 12 Inkrementelle Attributauswertung für geordnete Attributgrammatiken. - 12.1 Greedy-Evaluation. - 12.2 Auswertung mit verteilter Steuerung. - 12.3 Auswertung geordneter Attributgrammatiken mittels Visit-Sequence-Evaluatoren. - 12.4 Konstruktion eines Visit-Sequence-Evaluators. - 12.5 Inkrementelle Aktualisierung durch Visit-Sequence-gesteuerte Änderungsweitergabe. - 12.6 Optimierungen für Eins-zu-Eins-Funktionen. - 12.7 Vorgehen, wenn eine Grammatik den Ordnungstest nicht besteht. - Anhang A Syntax von SSL. - Anhang B Aufruf des Synthesizer-Generators. - Anhang C Kurzliste der Editorbefehle. - C.1 Öffnen und Schließen des Editors. - C.2 Ändern der Strukturauswahl durch Traversierung des abstrakten Syntaxbaums. - C.3 Ausführen von Befehlen. - C.4 Strukturelle Bearbeitung. - C.5 Verschieben des Objekts relativ zum Fenster. - C.6 Verwenden des Locators. - C.7 Textbearbeitung. - C.8 Ändern der Zeichenauswahl durch textuelles Durchlaufen des Textpuffers. - C.9 Puffer, Auswahlen und Dateien. - C.10 Erstellen und Löschen von Fenstern. - Anhang D Tastaturen, Bildschirme, Fenstersysteme und Mäuse. - D.1 Tastaturen. - D.2 Bildschirme und Fenstersysteme. - D.3 Mäuse. Sprache: Englisch