Vær opmærksom på at dette website indeholder et arkiv med historiske data. Det aktuelle kursuskatalog findes på kursuskatalog.au.dk

AU kursuskatalog arkiv

[Forside] [Hovedområder] [Perioder] [Udannelser] [Alle kurser på en side]

Semantik (Q1) ( efterår 2007 - 5 ECTS )

Rammer for udbud

Uddannelsessprog: (se under Undervisnings- og arbejdsform)
Niveau: Obligatorisk overbygningskursus
Semester/kvarter: Q1 i 2007
Timer per uge:
Deltagerbegrænsning:
Undervisningssted: Århus
Hovedområde: Det Naturvidenskabelige Fakultet
Udbud ID: 7982

Formål

Deltagerne vil efter kurset have et grundlag for at forstå programmeringssprog og vil have detaljeret kendskab til semantik af programmeringssprogs-konstruktioner.

Obligatorisk program

Ugentlig afleveringsopgave (der alle skal godkendes)

Indhold

Strukturel operationel semantik, udtryk, kommandoer, deklarationer, imperative sprog, funktionelle sprog, transitionssystemer, skridtstørrelse, side-effekter, laziness, terminering, statisk & dynamisk semantik, concurrency, kommunikation, program-ækvivalens, bevis-teknikker, strukturel induktion, environment-store model.

Læringsmål

Deltagerne skal ved afslutningen af kurset kunne:

beskrive formelt betydningen af en række programmeringskonstruktioner,
forklare fundamentale begreber, teknikker og resultater inden for formel semantik af programmeringssprog,
implementere semantiske beskrivelser i gængse programmeringssprog,
analysere betydningen af en lang række programmerings-konstruktioner,
sammenligne semantiske beskrivelser,
ræsonnere om semantiske beskrivelser,
bevise konsekvenser ved semantiske beskrivelser,
anvende alle ovenstående kompetencer på konkrete programmer mhp. at kunne ræsonnere om programmer samt bevise egenskaber ved dem.