Uni des Saarlandes
Informatik
Programmiersysteme
Vorlesungen
LSV SS-02


Hauptseite
Termine
Literatur
Übungen
Klausuren
Mailingliste
Software
Skript

Software: Logik, Semantik und Verifikation

SML

Für die praktischen Übungen zu der Vorlesung werden wir Standard ML verwenden. Das verwendete Programmiersystem ist Moscow ML. Sie finden jede Menge Information dazu auf den Seiten der Vorlesung Programmierung.


Tim Priesnitz, Letzte Änderung: Thu Dec 14 17:01:13 2017.