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 (Q4) ( forår 2010 - 5 ECTS )

Rammer for udbud

Uddannelsessprog: engelsk
Niveau: Kandidatkursus
Semester/kvarter: Q4
Timer per uge: 3
Deltagerbegrænsning: Ingen
Undervisningssted: Århus
Hovedområde: Det Naturvidenskabelige Fakultet
Udbud ID: 14682

Formål

Deltagerne vil efter kurset have indsigt i avancerede typesystemer i objekt-orienterede sprog, suppleret med praktisk erfaring med disse typesystemer gennem små programmeringsprojekter eller gennem at studere en udvalgt problemstilling og præsentere den ved forelæsningerne. Kursets arbejdsform vil også træne deltagernes evne til at læse og forstå videnskabelige artikler.

Obligatorisk program

En præsentation ved forelæsningerne, eventuelt baseret på et lille programmeringsprojekt.

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:

Genkende, klassificere og navngive begreber, konstruktioner og teknikker i avancerede objekt-orienterede typesystemer.
Give eksempler på anvendelse af mekanismerne i sådanne typesyster, i løsning af konkrete problemstillinger.
Beskrive og forklare disse begreber, konstruktioner og teknikker, for eksempel via de tilhørende regler for typer og semantik.