Uni des Saarlandes
Informatik

Hauptseite
Termine
Service
Skript
Quizfragen
Notizen
Software
Literatur
Prüfungen
Anmeldung
CMS

Programmierung 1: Skripts

Wir werden das Skript von Prof. G. Smolka verwenden. Auf der Seite ProgI-wiki kann man zur Korrekturen der Skripts beitragen bzw. sie durchzusehen. Die einzelnen Kapitel:

Schnellkurs
Programmiersprachliches
Höherstufige Prozeduren
Listen und Strings
Sortieren und Primzahlzerlegung
Konstruktoren und Ausnahmen
Bäume
Mengenlehre
Korrektheit rekursiver Prozeduren
Induktive Korrektheitsbeweise
Laufzeit rekursiver Prozeduren
Statische und dynamische Semantik
Konkrete Syntax
Datenstrukturen
Speicher und veränderliche Objekte
Graphen
Virtuelle Maschinen und Übersetzer

Ein Addendum zum Skript:

Markierte Graphen und Prozesse (pdf)
Interagierende Prozesse: CCS (pdf)

Zusätzliche Literatur zum Addendum:

R. Milner: Communication and Concurrency. Prentice Hall International, 1989
L. Aceto, A.I.J. Srba, K.G. Larse: Reactive Systems: Modelling, Specification and Verfication 2005
J. Magee, J. Kramer: Concurrency: state models & Java programms. Chicester: Wiley 1999