Programming Languages

Introduction to language paradigms, semantics and computational models. Language models supporting declarative, functional, logic, lazy, dataflowbased, object-oriented, distributed, constraint-based and parallell programming. Programming language syntax, interpretation and semantics.

The course should give:

(1) An understanding of semantic, syntactic and pragmatic properties of imperative, logical, functional and object oriented programming languages.

(2) Practical knowledge of techniques for implementing such languages and for describing their meaning.

(3) The ability to understand and compare existing and future languages.

Lectures, programming laboratory, and individual assignments.