INGI1131 Concepts of Computer Languages

Labs and Projects Web page

Last update: June 8, 2007

Latest news

May 23: After a delay of a few days, the good points of the projects are now available.
May 15: Several updates in the material section. Lecture scripts used during weeks 11, 12 and 13 are now available. Lab sessions are also updated until week 13. Tomorrow is the last lecture and it will involve an overview of the whole course, so you better be there! :). Points of the project will be publish by the end of the week (if doesn't rain).
May 2: Remember that next week you will have to present your project to the correspondent assistant. The schedule sheets for booking your time slot will be available from tomorrow in the door of the offices a.058 and a.151. Please, just book with the correspondent assistance.

The Didactic Team

The people responsible for the practical work are:

Yves Jaradin (Assistant)

Boriss Mejias (Assistant)

Peter Van Roy (Professor).

In case you have any question regarding to the exercises send an e-mail to the address did1131[at]info.ucl.ac.be .

Course Schedule

Lectures: Wednesday 8h30 - 10h30. BA94

Lab Sessions: Wednesday 10h45 - 12h45. INGI didactic labs. Siemens and Turing.

Course Evaluation

Principle: half of the points during the year, half in the final exam.

Mostly practical: Test the ability to write programs that use concepts learned in the course. Also test the knowledge of the concepts and semantics (ability to define the concepts and explain the semantics).

One graded programming project (5 points) around week 10

One mid-term exam (5 points) around week 7

The final written exam will have three parts:

10 points (required for all)

5 points, corresponding to the mid-term exam (do only if you want to improve your points)

The project cannot be redone; its points are final.

The Programming Environment

All the practical work will be done in Mozart 1.3, which offers the Oz programming Interface (OPI) as a programming environment. Mozart is installed in the machines of the INGI didactic lab. We will use rooms Alan Turing (Solaris) and Siemens (CentOS).

Syllabus

The course book is: Concepts, Techniques, and Models of Computer Programming . You can find this book in the library of the department, and it is also available at the DUC.

During the course, we will cover the following sections of the book:

Sections 2.1 - 2.6 Declarative model and kernel language
Sections 3.2 - 3.4 Declarative programming (except not difference lists)
Sections 4.1 - 4.6, 4.8 Declarative concurrency
Sections 5.1 - 5.6 Message-passing concurrency
Sections 6.1 - 6.3 State
Sections 7.2, 7.7, 7.8 Classes and active objects
Sections 8.1 - 8.6 Shared-state concurrency (except not tuple spaces)

There is also a Wiki site about the book that can be interesting for you. Here is the link: http://codepoetics.com/wiki/index.php?title=Main_Page

Material

This part need a lot of update, but the information will be ready each session.

Lab Sessions			Lectures
Name	Topic	Files	Name	Files
Lab01 (31/01/06)	Interaction with the OPI; playing with the Browser and handling errors and warnings with the OPI facilities. Implementing basic programs with lists and records.	(PDF) (PS)	Lecture 01	Script 01
Lab02 (07/02/06)	Functions, Procedures and Tail Recursion.	(PDF) (PS)	Lecture 02	Script 02
Lab03 (14/02/06)	Thread and Declarative Concurrency.	(PDF) (PS)	Lecture 03	Script 03
Lab04 (21/02/06)	Thread and Declarative Concurrency.	(PDF) (PS)	Lecture 04	Script 04
Lab05 (28/02/06)	Thread Termination and Laziness	(PDF) (PS)	Lecture 05	Script 05
Lab06 (07/03/06)	Thread Termination and Laziness	(PDF) (PS)	Lecture 06	Script 06
Lab07 (14/03/06)	Message Passing and Ports	(PDF) (PS)	Lecture 07	Script 07
Lab08 (21/03/06)	Message Passing and Ports (2)	(PDF) (PS)	Lecture 08	Script 08 Mid-Term exam
Lab09 (28/03/06)	Lift Control System	(PDF) (PS)	Lecture 09	Script 09
Lab10 (18/04/06)	Explicit state and Objects	(PDF) (PS)	Lecture 10	Script 10
Lab11 (25/04/06)	Comparing Message Passing and Declarative Concurrency, and Introduction to Shared-State Concurrency	This lab session will be dedicated to the project	Lecture 11	Script 11
Lab12 (02/05/06)	Shared-State Concurrency (2)	(PDF) (PS)	Lecture 12	Script 12 monitor.oz exmon.oz
Lab13 (09/05/06)	Transaction Management	(PDF) (PS)	Lecture 13	transaction.oz extrans.oz
Lab14 (16/05/06)	Transaction Management	(PDF) (PS)	Lecture 14	Summary slides - Paradigms Diagram

INGI1131 Concepts of Computer Languages

Labs and Projects Web page

The Didactic Team

Course Schedule

Course Evaluation

The Programming Environment

Syllabus

Material

Lab01 (31/01/06)

(PDF) (PS)

Lecture 01

Lab02 (07/02/06)

(PDF) (PS)

Lecture 02

Lab03 (14/02/06)

(PDF) (PS)

Lecture 03

Lab04 (21/02/06)

(PDF) (PS)

Lecture 04

Lab05 (28/02/06)

(PDF) (PS)

Lecture 05

Lab06 (07/03/06)

(PDF) (PS)

Lecture 06

Lab07 (14/03/06)

(PDF) (PS)

Lecture 07

Lab08 (21/03/06)

(PDF) (PS)

Lecture 08

Lab09 (28/03/06)

(PDF) (PS)

Lecture 09

Lab10 (18/04/06)

(PDF) (PS)

Lecture 10

Lab11 (25/04/06)

Lecture 11

Lab12 (02/05/06)

(PDF) (PS)

Lecture 12

Lab13 (09/05/06)

(PDF) (PS)

Lecture 13

Lab14 (16/05/06)

(PDF) (PS)

Lecture 14

Summary slides - Paradigms Diagram