| Udbydes af:
Institut for Informationsteknologi
(IT) |
| Pointspærring: 49152 |
| Faglige forudsætninger: 49238/C4338 |
| Vejledende semester:
Sidst i studiet. |
| Deltager antal: Max. 20 |
| Undervisningsform: Forelæsninger og rapportfremlæggelse. Seminarkursus, hvor deltagerne selv fremlægger stoffet. |
| Evalueringsform:
Rapportaflevering (vægtes med ½) og mundtlig fremlæggelse (vægtes med ½) skal bestås hver for sig
(
bestået/ikke bestået
) |
| Kontaktperson: |
Bo Stig Hansen, IT, bygn. 344, tlf. 4525 3735E-mail: bsh@it.dtu.dk |
|
| Kursusmål: Kurset henvender sig til studerende, som ønsker at opnå en dybere forståelse af programmeringssprog og at få kendskab til og erfaringer med brug af begreber og teknikker som bruges ved definition af programmeringssprog. Dette vil være relevant f.eks. ved design af nye sprog samt deltagelse i konstruktion og design af oversættere. Deltagerne bør opnå færdighed i at læse og ræsonnere om beskrivelser af programmeringssprog i almindeligt brugte notationer. Desuden bør de opnå en forståelse af hovedprincipper, som findes anvendt i kendte programmeringssprog, til f.eks. parameteroverførsel, modularisering. |
| Kursusindhold: Principper for denotations-, operationel- og aksiomatisk semantik samt anvendelse af disse. |
