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]

Typer i Objekt-Orienterede Sprog (Q3) ( forår 2009 - 5 ECTS )

Rammer for udbud

Uddannelsessprog: engelsk (eller dansk)
Niveau: Kandidatkursus
Semester/kvarter: Q3
Timer per uge: 3
Deltagerbegrænsning: Ingen
Undervisningssted: Århus
Hovedområde: Det Naturvidenskabelige Fakultet
Udbud ID: 13972

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.