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

Rammer for udbud

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

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 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.

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.

Faglige forudsætninger

Underviser

Erik Ernst

Undervisnings- og arbejdsform

Forelæsninger (3t/uge)

Engelsk

Litteratur

Forskningsartikler

Kursushjemmeside

  http://www.cs.au.dk/TOOL

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.

Skemaplacering (forelæsninger)

http://cs.au.dk/studies/computer-science-programme/schedules/  

Eksamensterminer

Juni/juli, reeksamen foregår efter aftale med underviseren

Udbyder

Datalogisk Institut

Tilmelding til undervisning

http://mit.au.dk

Bedømmelse

Mundtlig eksamen uden forberedelse (30 min)
7-skala, intern censur