Sprog og semantik

Sprog og Semantik

Formål:
Formålet med dette kursus er at introducere:

- et udvalg af programmeringsparadigmer for at sikre at den studerende er bekendt med og mestrer de tilhørende programmeringsbegreber og -teknikker,

- fundamentale begreber, teknikker, og resultater vedrørende formel semantik af programmeringssprog, såvel som anvendelser af disse i forskellige aspekter af programudvikling.

Indhold:
Kurset fokuserer på:

- funktionsprogrammeringsprog, inklusive begreber såsom højere-ordens funktioner, dovne datastrukturer, og polymorfi;

- reaktive sprog, herunder adskillige kommunikationsdiscipliner;

- operationel semantik af programmeringssprog, samt sundhed og relativ fuldstændighed af aksiomatisk semantik;

- illustrative anvendelser af semantik i oversætterkonstruktion og programmelvalidering; samt

- brug af verifikationsværktøjer.

Forelæser
Peter D. Mosses

Literatur
Jeffrey D. Ullman: Elements of ML Programming (ML97 Edition), Prentice Hall, 1998; og Peter D. Mosses: Fundamental Concepts and Formal Semantics of Programming Languages (course notes), to appear, 2003.

Forudsætninger
dIntProg, dADS og dModLog

Forelæsninger
3 timer/uge

Øvelser
3 timer/uge

Eksamensform
4 timers skriftlig eksamen, 13 skalaen.

Obligatoriske opgaver:
Et mindre antal obligatoriske opgaver, som med tilfredsstillende resultat er adgangsgivende til eksamen.

Sprog
Dansk eller Engelsk

ECTS
10

Kvarter
1+2