Programmiersprachen I

- Allgemeines & Ankündigungen -

Stundentausch:

Montag, 2.4.2007, 16 - 17 h: Vorlesung statt Übung

 

 

Übungsbetrieb:

Ausgabe des ersten Übungsblattes am 2.4.07

 

Programmiersprachen I

- Material zur Vorlesung -

Einführung: Folien
Bindung und Parameterübergabe: Folien
Ablaufsteuerung in sequentiellen Sprachen: Folien
Grundlagen der formalen Beschreibung: Folien-a Folien-b
Typsysteme und Typinferenz: Folien-a Folien-b
Datenabstraktion und Modularität: Folien
Programmierparadigmen: Folien
Literaturliste: Literatur

Programmiersprachen I

- Literatur -

 

John C. Mitchell. Concepts in Programming Languages. Cambridge University Press 2003.
David A. Watt. Programmiersprachen: Konzepte und Paradigmen. Karl-Hanser-Verlag München, Prentice Hall Int. London, 1996.

 

Für einzelne Abschnitte wird weitere Literatur angegeben.

Literaturliste: Literatur

Programmiersprachen I

- Kurzbeschreibung -

Gegenstand der Vorlesung sind Konzepte in Programmiersprachen, ferner Grundlagen der formalen Beschreibung und Programmierparadigmen.

Inhalte:

Bindung und Parameterübergabe, Ablaufsteuerung in sequentiellen Sprachen
Grundlagen der formalen Beschreibung: Syntax, Semantik, Modellsprachen
Typsysteme und Typinferenz, Datenabstraktion und Modularität
Paradigmen: funktionale Programmierung, Logikprogrammierung, imperative und objektorientierte Programmierung