Forudsætninger/Anbefalede forudsætninger for at deltage i modulet

Anbefalede faglige forudsætninger:
Modulet bygger videre på projektmodulerne på 1.-3. semester og modulerne Syntaks og semantik, Sprog og oversættere og Principper for samtidighed og styresystemer følges parallelt med projektarbejdet

Modulets indhold, forløb og pædagogik

FORMÅL          
At den studerende lærer, hvordan man kan designe og implementere et programmeringssprog og hvordan denne proces kan understøttes af formelle definitioner af sprogets syntaks og semantik og teknikker og metoder til oversætterkonstruktion.

BEGRUNDELSE   
Al software er skrevet i et programmeringssprog og oversættes eller fortolkes for at kunne eksekveres. Design, beskrivelse og konstruktion af Programmeringssprog, oversættere, fortolkere og lignende værktøjer er af den grund centrale emner i datalogi.
Projektarbejdet fokuserer derfor på at sikre, at de studerende forstår vigtige underliggende begreber i programmeringssprogenes verden, hvorfor disse begreber er opstået og hvordan de beskrives formelt og repræsenteres i en implementation.
Forståelse af disse emner er fundamentale i forståelsen af nye og eksisterende programmeringssprog og deres anvendelsesmuligheder. Ydermere anvendes mange teknikker og værktøjer, oprindeligt udviklet til sprog og oversættere, også i andre sammenhænge i programudvikling.

Læringsmål

Viden

• programmeringssprogs syntaks og semantik
• dokumentere kendskab til og overblik over de berørte teknikker og begreber inden for sprogdesign og oversætterkonstruktion
• redegøre for de enkelte faser og sammenhængen mellem faserne i en oversætter
• redegøre for de anvendte implementationsteknikker i den konstruerede oversætter/fortolker
• benytte korrekt fagterminologi

Færdigheder

• beskrive et programmeringssprogs syntaks og semantik ved brug af relevante metoder til formelle definition
• implementere en oversætter eller fortolker til et konkret programmeringssprog eller til en udvidelse til et eksisterende programmeringssprog
• ræsonnere datalogisk om og med de berørte begreber og teknikker

Kompetencer

• vurdere anvendelse og anvendelighed af kendte værktøjer og teknikker til definition og implementation af programmeringssprog
• forstå og gøre rede for hvordan konkrete sproglige begreber repræsenteres på køretidspunkter og i formel semantik

Undervisningsform

Projektarbejde, der skal omfatte:

• en analyse af en datalogisk problemstilling, hvis løsning naturligt kan beskrives I form af design af et konkret programmeringssprog
• en formel definition af relevante, centrale dele af dette programmeringssprogs syntaks og semantik
• i tilknytning hertil konstruktion af en oversætter/fortolker for sproget

Omfang og forventet arbejdsindsats

Det forventes at den studerende bruger 30 timer per ECTS, hvilket for denne aktivitet betyder 450 timer.

Eksamen

Prøver

Prøvens navn	Design, definition og implementation af programmeringssprog
Prøveform	Mundtlig pba. projekt
ECTS	15
Bedømmelsesform	7-trins-skala
Censur	Ekstern prøve
Vurderingskriterier	Vurderingskriterierne er angivet i Universitetets eksamensordning

Yderligere informationer

Kontakt: Studienævn for datalogi via cs-sn@cs.aau.dk eller 9940 8854