Ziel dieser Projektgruppe ist die Implementierung von Werkzeugen, die für die Vorlesung Theorie der Programmierung verwendet werden können. Zu diesen Werkzeugen gehören Parser, Typechecker, small-step- und big-step-Interpreter für die in der Vorlesung definierten Programmiersprachen.
Die Werkzeuge sollen (in Zukunft) den Hörern der Vorlesung zur Verfügung stehen. Sie sollen damit in die Lage versetzt werden, eigene (kleine) Programmbeispiele durchzuspielen. Deshalb steht bei der Implementierung der didaktische Nutzen der Werkzeuge im Vordergrund und nicht ihre Effizienz. So sollte z.B. der Typechecker nicht nur den Typ des eingegebenen Ausdrucks liefern, sondern die gesamte Herleitung des Typurteils in Form eines Beweisbaumes. Darüber hinaus sollte der Benutzer die Möglichkeit haben, eine solche Herleitung ganz oder teilweise "zu Fuß" durchzuführen, z.B. indem er jeweils die passende Regel für den nächsten Beweisschritt aus einem Menü auswählt.
Vorkenntnisse: Teilnehmer der Projektgruppe benötigen natürlich einige Kenntnisse aus der Vorlesung Theorie der Programmierung, die aber durchaus auch im laufenden Semester erworben werden können.
Zielsetzung: Wie oben erwähnt, geht es "nur" um die Implementierung und eine gewisse didaktische Aufbereitung der Vorlesungsinhalte. Eine Weiterentwicklung der Theorie wird von den Teilnehmern nicht erwartet.
Anmeldung:
Interessenten melden sich am besten per e-mail:
sieber@informatik.uni-siegen.de
Eine erste Vorbesprechung findet am Freitag, den 14.10.2005 um
14:00 in H-A 8107 statt.
Natürlich sind auch nach diesem Termin noch Anmeldungen möglich.