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


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.



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


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


Lectures and exercises.


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


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


Anders Haraldsson


Home exam with exercises.


3 points


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
Last updated: 2012-05-03