Concepts, Techniques, and Models of Computer ProgrammingFDA195, 2006VT
Scheduled 30 h for lectures
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
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
Anders Haralddson, Björn Hägglund and invited lecturers
Home exam with exercises.
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