Constraint programming (24h)
Goals
Outline
Prerequisites and related courses
Language and material
Bibliography
Tentative Schedule
Date (DD/MM/YY) | Content |
---|---|
15/09/15 | Introduction to CLP, operational semantics, examples |
22/09/15 | CLP: fixpoint semantics |
29/09/15 | CLP logical semantics; CSP: solving by simplification and domain reduction |
06/10/15 | CLP: the Warren Abstract Machine; CSP: Symmetries |
09/10/15 | deadline for the programming project (no class) |
13/10/15 | CLP: typing; CHR; Programming project discussion |
20/10/15 | (no class) |
27/10/15 | (no class) |
03/11/15 | CC: examples, operational and denotational semantics |
10/11/15 | CC: linear logic semantics; LCC |
17/11/15 | LCC: logical semantics, links with CHR, typing and modules for CLP |
24/11/15 | exam 12.45-14.45 |