COSC 6490A 3.0 Concurrent Object Oriented Languages
- The marks are available electronically
courseInfo 6490A 1999-00 W)
In this course we focus on the theory and practice of concurrent programming.
Communication, synchronization and process creation are some of the key
ingredients of this course. We study theoretical aspects of concurrent
programming including concurrent calculi (like CCS, CSP and
and bisimulation. Furthermore, we look at concurrent features of programming
languages like Java, Eiffel, Ada, CML and Pict.
Time: Tuesday and Friday, 17:30-19:00
Place: CCB 120
Instructor: Franck van Breugel
Office hours: Tuesday and Friday, 17:00-17:30 and 19:00-19:30 or by appointment
Office: CCB 348
Material will be provided to the students. Class notes will be crucial.
Errata for Chapter 7 of
Advanced Programming Language Design.
can be found
here (updated January 21).
The performance of the students will be evaluated as a combination of a
project (50%) and five assignments (50%). Students will not have the option
of doing additional work to upgrade their mark.
There will be five assignments. The assignments are given out on
The assignments should be handed in within two weeks. No late assignments
will be accepted. If a student cannot hand in the assignment in time for
reasons beyond his/her control, the student has to bring a documented note
to the instructor. If accepted, the weight of the other assignments will be
- January 17
- February 1
- February 11
- March 2
- March 15
Each student will choose a topic of his/her interest. The student
will study in detail one research paper on the topic and will also read some
related material. The student will implement some of the ideas of the paper
in one of the languages studied in the course. In both an oral presentation
(10%) and a written presentation (40%) the student will
In the week of February 7-11 each student will hand in a progress report.
The presentations will take place during the last lectures of the course.
A draft version of the term paper should be ready by March 24.
The final version is due on April 18.
present the main ideas of the project,
discuss the strong and the weak points of the research paper,
point out the links with the material presented in the course, and
mention possible improvements, extensions, generalizations etc.
The suggested reading material, additional material and the assignments
can be found by clicking on the corresponding date on the calendar below.