Typer i Objekt-Orienterede Sprog (Q3) ( forår 2008 - 5 ECTS )
Rammer for udbud
-
Uddannelsessprog:
(se under Undervisnings- og arbejdsform)
-
Niveau:
Valgfrit overbygningskursus
-
Semester/kvarter:
Q3 i 2007/2008
-
Timer per uge:
3
-
Deltagerbegrænsning:
-
Undervisningssted:
Århus
-
Hovedområde:
Det Naturvidenskabelige Fakultet
-
Udbud ID:
7993
Formål
Deltagerne vil efter kurset have indsigt i avancerede typesystemer i objekt-orienterede sprog og praktisk erfaring med disse typesystemer gennem små programmeringsprojekter. Kursets arbejdsform vil også træne deltagernes evne til at planlægge og gennemføre projekter, og til at læse og forstå videnskabelige artikler.
Obligatorisk program
Intet
Indhold
Nye udviklinger indenfor objekt-orienterede typesystemer, med fokus på de underliggende konstruktioner, teknikker og filosofier. Diskussion af de største udfordringer inden for design af moderne objekt-orienterede typesystemer. Specielt behandles typeparametrisering, varians, modularitet og teknikker til typecheck, og der inddrages eksempler fra en række sprog. Små praktiske projekter med at programmere i disse sprog bruges til at etablere praktisk erfaring med begreberne og derved uddybe forståelsen.
Læringsmål
Deltagerne skal ved afslutningen af kurset kunne:
-
beskrive
og
forklare
begreber, konstruktioner og teknikker i avancerede objekt-orienterede typesystemer.
-
sammenligne
og
vurdere
disse begreber, konstruktioner og teknikker som de fremtræder i designet af konkrete sprog.
-
diskutere
og
perspektivere
de omhandlede udviklinger indenfor moderne objekt-orienterede typer.
Faglige forudsætninger
dProg2, dSem
Underviser
Erik Ernst
Undervisnings- og arbejdsform
Forelæsninger (3t/uge)
Litteratur
Forskningsartikler
Kursushjemmeside
http://www.daimi.au.dk/~eernst/tool08
Udbyder
Datalogisk Institut
Tilmelding til undervisning
http://www.brics.dk/~mis/enrollment.html
Studieordning og bedømmelse
-
Mundtlig, bedømt efter 7-skala med intern censur
-
Mundtl. eks., bedømt efter 7-skala med intern censur
Mundtlig eksamen uden forberedelse (20 min)
7-skala, intern censur