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

Forudsætninger
dIntProg, dADS og dModLog

Forelæsninger
3 timer/uge

Øvelser
3 timer/uge

Eksamensform
Skriftlig eksamen (kan afholdes som mundtlig eksamen i tilfælde af få eksamenstilmeldte).

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

Sprog
Dansk eller Engelsk

Point
10 ECTS

Semester
Efterår