Praktikum Sprachimplementierung mit Werkzeugen WS 1999/2000 - Übungsblatt 2

Aufgabe 1 (Nacharbeit zur Vorlesung)

Ziel: Grundlegenden Techniken für Berechnungen in Bäumen kennenlernen

Arbeiten Sie die Vorlesungsfolien der Kapitel 2 und 3 nach. Benutzen Sie dazu das Eli-Dokument "LIDO -- Computation in Trees". Wenn Sie es drucken wollen, finden Sie eine PostScript-Datei dafür unter comptrees.ps (Detailinformationen zu LIDO finden Sie im "LIDO Reference Manual" der Eli-Dokumentation.)

Aufgabe 2 (2. Tutorium)

Ziel: Aufgaben der Programmanalyse durch Berechnungen im Baum lösen

Machen Sie sich mit der Aufgabenstellung vertraut. Der Text steht in ana.html. Sie brauchen zunächst nur die ersten 3 Teilaufgaben zu bearbeiten (Dangling Else, Switch Case Labels, Loop Enumeration).

Kopieren Sie aus dem Verzeichnis keines/aufgaben/blatt2/aufg die Spezifikationsteile eine neue Directory, um sie dann im Tutorium zu verwenden. Es sind die Dateien ana.specs, tree.fw, dangling.fw, switch.fw, loops.fw, vars.fw. Ihre im Verlauf des Tutoriums erstellten Lösungen schreiben Sie bitte in die vorbereiteten Dateien.

Aufgabe 3 (Lernprotokoll)

Beschreiben Sie in knappen Sätzen zu Ihren Arbeiten zur Vorlesung und zum Tutorium:

a)

Was habe Sie getan?

b)

Was haben Sie dabei gelernt?

c)

Wie sind Sie damit zurechtgekommen? (Erfolge, Probleme)