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 |