Formale Semantik, SS 2004

• Termin/Ort der Vorlesung: Mo 12-14, Raum H11
• Termin/Ort der Übung: Fr 12-14, Raum H6

  ---

• Folien zur Vorlesung, Seiten 1-283 , Stand 23.7.2004
• Skript zur Vorlesung 1998 (Seidl)
• Skript zur Vorlesung 1993 (Sieber)

  ---

• WHILE-04-07-02.sml (Programmquelle zur WHILE-Semantik in SML, Stand 2.7.2004)
• VERSUCHE.sml (Programmquelle zur Einführung in SML, Stand 24.5.2004)

  ---

• 1. Übungsblatt ( Abgabe bis 3.5.2004)
• 2. Übungsblatt ( Abgabe bis 10.5.2004)
• 3. Übungsblatt ( Abgabe bis 24.5.2004)
• 4. Übungsblatt ( Abgabe bis 14.6.2004)
• 5. Übungsblatt ( Abgabe bis 28.6.2004) Musterlösung
• 6. Übungsblatt ( Abgabe bis 12.7.2004) Musterlösung
• 7. Übungsblatt ( Abgabe bis 19.7.2004)

  ---

• Eintrag in die Mailingliste über (leere) Email an mueller@uni-trier.de mit (vordefiniertem) "Subject: Join-Semantik-Liste"
• Löschung aus der Liste über (leere) Email an mueller@uni-trier.de mit (vordefiniertem) "Subject: Leave-Semantik-Liste"

  ---

• Plan der Vorlesungs-/Übungstermine:

  Mo	26.4.	3.5.	10.5.	17.5.	24.5.	31.5.	7.6.	14.6.	21.6.	28.6.	5.7.	12.7.	19.7.	26.7.
  Fr	30.4.	7.5	14.5.	21.5.	28.5.	4.6.	11.6.	18.6.	25.6.	2.7.	9.7.	16.7.	23.7.	30.7.

  (Vorlesung / Übung / keine Veranstaltung)