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.)
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.
(Hier ist die Lösung zu Aufgabe 2)
Beschreiben Sie in knappen Sätzen zu Ihren Arbeiten zur Vorlesung und zum Tutorium: