Uni des Saarlandes
Informatik
Programmiersysteme
Vorlesungen
Prog-1 2004


Hauptseite
Termine
Service
Skript
Software
Literatur
Prüfungen

Programmierung 1: Software

Die Übungsblätter und Unterlagen zur Vorlesung stehe als PDF-Dateien im Web. Um sie zu lesen, können Sie den Acrobat Reader verwenden.

Einige Dokumente im Web sind nur im Postscript-Format verfügbar. Dieses können Sie unter Windows mit GSview lesen.

Sie haben zwei Programmiersysteme zur Auswahl:

• Das Programmiersystem Alice wird hier am Lehrstuhl entwickelt. Es implementiert eine Erweiterung von SML und bietet eine grafische Entwicklungsoberfläche. Das System ist kostenlos für Windows und Unix verfügbar.
• Eine Alternative ist das System Moscow ML. Auch Moscow ML ist kostenlos für Windows und Unix verfügbar. Den Moscow ML Interpreter sollten Sie innerhalb des GNU Emacs Editors verwenden.

Wenn Sie mit Windows 95/98/ME/NT/2000/XP arbeiten, können Sie Moscow ML und GNU Emacs auf Ihrem Rechner mithilfe eines von uns vorbereiteten Pakets installieren. GNU Emacs ist dann bereits mit Moscow ML gekoppelt und Sie können sofort loslegen.

Vielleicht finden Sie auch Cygwin hilfreich (eine Unix-artige Shell-Umgebung für Windows).

Lesenswertes zu Emacs

• GNU Emacs Manual
• GNU Emacs Reference Card ( Postscript zum Ausdrucken, PDF zum Ausdrucken)
• Doku des SML-Modes
• Doku des SML-Modes ( Postscript zum Ausdrucken, PDF zum Ausdrucken)
• Kurzübersicht zu Unix und Emacs, 1 Seite ( Postscript zum Ausdrucken, PDF zum Ausdrucken)

Lesenswertes zu Unix

• Einführung in Unix ( Postscript zum Ausdrucken, PDF zum Ausdrucken)
• Unix-Basiskurs ( Postscript zum Ausdrucken, PDF zum Ausdrucken)
• Kurzübersicht zu Unix und Emacs, 1 Seite ( Postscript zum Ausdrucken, PDF zum Ausdrucken)