Concepts, Techniques, and Models of Computer ProgrammingFDA195, 2006VT
|
|
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