Hide menu

Concepts, Techniques, and Models of Computer Programming

FDA195, 2006VT

Status Archive
School National Graduate School in Computer Science (CUGS)
Division EIT
Owner Anders Haraldsson
Homepage http://www.ida.liu.se/~bjoha/ctm

  Log in  




Course plan

Lectures

Scheduled 30 h for lectures

Recommended for

CUGS Advanced course
Computer science students. Also master science students are welcome.

The course was last given

New course, but is based on last years course High-level notions of computations and programming language concepts.

Goals

Prerequisites

Undergraduate courses on imperative programming, functional programming, logic programming,
data structures and algorithms, data bases, and construction of compilers and interpreters.

Contents

In principle the chapters in the course book.
- Declarative computation models
- Declarative concurrency
- Message-passing concurrency
- Explicit state
- Shared-state concurrency
- Relationa progmaming
- Distributed programming
- Constraint programming

Organization

Lectures and exercises.

Literature

Peter van Roy and Seif Haridi, Concepts, Techniques, and Models of Computer Programming.
Selected papers.

Lecturers

Anders Haralddson, Björn Hägglund and invited lecturers

Examiner

Anders Haraldsson

Examination

Home exam with exercises.

Credit

3 points

Comments

The course High-level notions of computations and programming language concepts given VT 2005 will bli split up in two courses. This course is based on van Roy, Haridis book with the same name as the course. The book and Oz/Mozart will be the base for discussions of computations models, paradigms etc.
We will also in this years course cover some languages with interesting concepts. (Smalltalk, Erlang, Haskell)


Page responsible: Director of Graduate Studies