[Forside] [Hovedområder] [Perioder] [Udannelser] [Alle kurser på en side]
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.
En rapport som præsenteres ved en forelæsning, eventuelt baseret på et lille programmeringsprojekt. Rapporten forventes at sammenholde forskellige tilgange til typer i objekt-orienterede sprog og at perspektivere de givne valg af sprogdesign.
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.
Erik Ernst
Forelæsninger (3t/uge)
Engelsk
Forskningsartikler
Deltagerne skal ved afslutningen af kurset kunne:
http://cs.au.dk/studies/computer-science-programme/schedules/
Juni/juli, reeksamen foregår efter aftale med underviseren
Datalogisk Institut
Mundtlig eksamen uden forberedelse (30 min)
7-skala, intern censur