Behörighetskrav

Matematik 15 p, Algebra, Automatateori och Logik

rekommenderas. Datavetenskap 20 p.

Syfte

Den som slutfört kursen skall kunna förstå och

utvärdera olika typer av semantiska

definitioner av programmeringsspråk.

Innehåll

Introduktion: översikt av semantiska metoder

(operationell, denationell, och

axiomatisk semantik). Matematiska grunder:

induktiva definitioner och

bevistekniker: kompletta partiella ordningar och

fixpunktsteori: grundläggande

domänteori. Jämförelse mellan operationell och

denationell semantik för ett enkelt

imperativt språk och ett enkelt funktionellt språk.

Operationell semantik för

samverkande processer, och grundläggande modala och temporala logiker för

resonemang om deras egenskaper.

Undervisning

Föreläsningar och lektioner. Eventuellt laborationer.

Examination

Skriftligt prov vid kursens slut. Obligatoriska

uppgifter utgör en viktig del av examinationen.