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]

Programmingssprog og Typer Q3+Q4 ( forår 2009 - 10 ECTS )

Rammer for udbud

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

Formål

Deltagerne vil efter kurset have en omfattende viden om programmeringssprog

Obligatorisk program

Ingen

Indhold

Programmører bruger meget tid på at gennemgå og forbedre deres værktøjer (editors, debuggers, IDEs, libraries, code generators, osv.). De følger mottoet: "Det er en hård verden udenfor - brug ethvert værktøj og tekniske redskab du kan få fat på". Når man tænker på denne måde er det nemt at miste overblikket over hvilke værktøjer og teknikker der virkelig har betydning. Det vigtigste værktøj er selve programmeringssproget. Sprog kan muliggøre eller forhindre en bestemt løsning, de kan spare eller spilde udviklingstid, de er selve omdrejningspunktet for softwareudviklingen. Endnu vigtigere er det, at programmeringssprog fastsætter det begrebssæt vi bruger når vi forsøger at løse et programmeringsproblem. Formålet med dette kursus er at udvikle en dybere forståelse for programmeringssprog og at besvare spørgsmål som:

  • Hvad er de vigtigste egenskaber ved programmeringssprog?
  • Hvilke begrebsmæssige værktøjer kan anvendes til at studere programmeringssprog?
  • Hvordan kan bestemte begreber indenfor programmeringssprog formaliseres og implementeres?
  • Hvordan kan kraftige typesystemer understøtte programmøren?

I stedet for en stereotypisk og relativt ubrugelig klassifikation af programmeringssprog i funktionelle, objekt-orienterede, imperative etc, vil vi studere de fundamentale elementer de er baseret på og vi vil implementere dem.

Læringsmål

Deltagerne skal ved afslutningen af kurset kunne:

  • programmere og konstruere programmeringssprog og deres type checkers.
  • kritisere og reflektere de forskellige muligheder i programmeringssprog design.

Faglige forudsætninger

Programmeringssprog

Underviser

Klaus Ostermann

Undervisnings- og arbejdsform

Forelæsninger og øvelser

Engelsk

Litteratur

S. Krishnamurthi. Programming Languages: Application and Interpretation (available online), B.C. Pierce. Types and Programming Languages. MIT Press, 2002.

Kursushjemmeside

http://www.daimi.au.dk/~ko/teaching/pl/

 

Formål

Deltagerne vil efter kurset have detaljeret kendskab til programmeringssprog.

Eksamensterminer

Juni/juli, reeksamen august

Udbyder

Datalogisk Institut

Tilmelding til undervisning

http://www.brics.dk/~mis/enrollment.html

Bedømmelse

Mundtlig eksamen uden forberedelse
7-skala, intern censur