Sprog og semantik

Sprog og semantik (S&S)

Sprog og semantik (S&S)

Formål:
- Formålet med dette kursus er at introducere
- forskellige programmerings paradigmer, således at den studerende er bekendt med og behersker tilhørende basale programmerings begreber og teknikker,
- fundamentale begreber, teknikker og resultater vedrørende formel semantik af programmeringssprog, samt anvendelser af disse i forbindelse med forskelligeaspekter af software udvikling.

Indhold:
Kurset vil fokusere på
- funktionelle sprog, herunder begreber som højere-ordens funktioner, lazy data strukturer og polymorfi,
- reaktive sprog, herunder forskellige kommunikations discipliner,
- operationel og aksiomatisk semantik af imperative sprog, sundhed og relativ fuldstændighed,
- illustrative anvendelser af semantik i forbindelse med oversætter konstruktion og software validering,
eksperimenter med verifikations værktøjer.

Lærebøger:
Formal Semantics of Programming Languages, Glynn Winskel,
The MIT Press, 1993 - ISBN 0-262-23169-7

Evaluering:
4-timers skriftlig eksamen, som evalueres efter 13-skalaen. Ekstern censur.

Bemanding:
Olivier Danvy og Andrzej Filinski

Belastning:
2 point, 10 ECTS