English
Inhaltsübersicht
Die Lehrveranstaltung behandelt die gemeinsamen Prinzipien von höheren Programmiersprachen. Durch das Studium dieser Prinzipien sollen die TeilnehmerInnen neue Sprachen rascher verstehen, lernen und beurteilen können.
Nach einem kurzen Abriss der Geschichte der höheren Programmiersprachen werden in acht Doppelterminen wesentliche Konzepte von Programmiersprachen behandelt:
- Werte: Datenstrukturen und Ausdrücke
- Speicher: Variablen und Befehle
- Bindung: Vereinbarungen und Blöcke
- Abstraktion: Prozeduren, Funktionen und Parameterübergabe
- Kapselung: Pakete, Schnittstellen, Objekte, Klassen und generische Parameter
- Typsysteme: Überladen, Polymorphie, Vererbung
- Kontrollfluss: Sprünge und Ausnahmen
- Nebenläufigkeit: Prozesse und Kommunikation
Dabei steht stets Semantik und Pragmatik (also Bedeutung und Zweck) von Konzepten im Vordergrund; ihre Syntax ist sekundär. Die Konzepte werden aber exemplarisch in wenigen Referenzsprachen (Ada, Java, Eiffel, Haskell, Standard ML, Prolog) betrachtet. Der Vergleich verschiedener Programmiersprachen offenbart dabei einige Prinzipien des (guten) Sprachentwurfs.
Dann behandeln wir, wie Konzepte ausgewählt und kombiniert werden, um wichtige Stile oder Paradigmen der Programmierung zu unterstützen und erläutern dies anhand typischer Sprachen:
- imperatives Programmieren (Ada)
- Objekt-orientiertes Programmieren (Java, Eiffel)
- Script-Programmieren (Python)
- funktionales Programmieren (Standard ML, Haskell)
- logisches Programmieren (Prolog)
Übungen
In ca. einer Stunde pro Woche sollen die TeilnehmerInnen ihr Verständnis des Stoffs in Übungen vertiefen. In kleine Aufgaben sollen Fragen an die Referenzsprachen (Ada, Java, Eiffel, Standard ML, Haskell, Prolog) beantwortet werden. Dies geschieht entweder durch Studium einer Sprachbeschreibung, oder durch Erstellen von Testprogrammen.Autor: Dr. Berthold Hoffmann
| Zuletzt geändert am: 21. Oktober 2014 |  |