Formale Semantik, SS 2005

• Termin/Ort der Vorlesung: Fr 12-16, Raum H11
• Die Vorlesung findet nur an folgenden Terminen statt: 29. April, 13. Mai, 3./17. Juni, 1./15./29. Juli

  ---

• Folien zur Vorlesung
• 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)

  ---

• 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"

  ---

  Norbert Müller (mueller@uni-trier.de) - 25.4.2005 - Impressum