Generic Programming

Master

Generic programming

Website:

website containing additional information

Course code:

INFOGP

Credits:

7.5 ECTS

Period:

periode 1 (week 36 t/m 45, dwz 3-9-2012 t/m 9-11-2012; herkansing week 1)

Timeslot:

Participants:

up till now 14 subscriptions

Schedule:

Note: from now on the schedule is to be found in Osiris

Teachers:

Dit is een oud rooster!

form	group	time	week	room	teacher
college		di 13.15-15.00	36-44	BBL-103 CLZ	Johan Jeuring Sean Leather
college		do 9.00-10.45	37-44	BBL-077	Johan Jeuring Sean Leather

Contents:

Software usually works with structured information; think of Web-browsers and HTML-documents. This structure can be represented by a data type, a DTD (Document Type Definition), or a model. If such a type changes, all programs that work on that type have to be changed too, although often the central problem does not change.

In the course on generic programming we will discuss methods with which problems can be formulated and solved for arbitrary data types, DTDs, or models. In a sense, this is a course on model-driven development, but the model is a type. The result is a generic program.

The intended learning outcomes for the course on generic programming are:

Explain the role datatypes and generic programming (GP) play in programming
Solve programming problems and improve programs using GP
Evaluate GP methods/approaches, and describe their merits and problems
Critically analyse GP research articles
Perform research on a GP-related problem, and present your results both verbally and on paper

Literature:

AFP 2008 lecture notes and published research articles

Course form:

There are 3 main components:

Lectures, exercises, and quizzes relevant to generic programming: datatypes, advanced types, and libraries
Student presentations on research papers
Course project

Exam form:

Quizzes = q = (q₁ + q₂ + q₃) / 3
Research paper presentation + two exercises: p
Research project: r
Final exercise set: e
Subgrade: s = (2*q + 2*p + 4*r + 2*e) / 10
Final grade: g = min s 10

Minimum effort to qualify for 2nd chance exam:

Overall score of 4.

Description:

We will discuss the following topics. Minor changes might be made before the course starts.

Interpretations of `generic'
Datatypes and kinds
Type-indexed functions
Kind-indexed types
Type-indexed types
Fixed-points, folds, maps, zips
Libraries for generic programming: EMGM, SYB, Multirec
Applications of generic programming: XML tools, Model-driven development, Exercise assistants

wijzigen?