ºÚÁϳԹÏ×ÊÔ´

²ÑÃ¥±ô

Emnet gjev ein praktisk og teoretisk innføring i semantikken (meininga) til programmeringssprÃ¥k,samt ei innføring i ein rekkje viktige konstrukt og abstraksjonar som blir brukt i programmeringssprÃ¥k. ²ÑÃ¥±ôet er (indirekte) at ein betre forstÃ¥ing for programmeringssprÃ¥k vil føre til at studentane kjem til Ã¥ lage program av høgare kvalitet, samt at dei vil programmere pÃ¥ ein meir produktiv mÃ¥te. Emnet gjev studentane grunnleggjande dugleik innan design og implementering av smÃ¥ sprÃ¥k, der ein implementasjon bestÃ¥r av ein parser, typesjekkar og ein tolkar (en. interpreter). Emnet søker Ã¥ gjere studenten skikka til Ã¥ lære nye programmeringssprÃ¥k i framtida.

Innhald

Emnet dekkjer viktige språkkonstruksjonar i moderne språk. Emnet diskuterar spesifikasjonen av syntaksen og semantikken til programmeringsspråk og introduserar typesystem og typetryggleik. Studentane skal implementere ei rekkje tolkarar og typesjekkarar. Sentralt er reflektering rundt innverknaden som eigenskapane til eit programmeringsspråk og dets språkelement har på programvarekvalitet.

Studenten skal ved avslutta emne ha følgjande læringsutbyte definert i kunnskapar, ferdigheiter og generell kompetanse:

Kunnskapar

Ved fullført emne er stdenten i stand til å:

• forklare kva konkret og abstrakt syntaks til eit sprÃ¥k er
• forklare tilnærmingar til Ã¥ definere semantikken til programmeringssprÃ¥k
• forklare kva «typetryggleiken til eit programmeringssprÃ¥k» inneber
• forklare variantar av polymorfisme og generisitet
• forklare essensen bak viktige konstruksjonar og konsept innan programmeringssprÃ¥k, og deira formÃ¥l og produktive bruk i programmering
• forklare standardisering og utvikling av programmeringssprÃ¥k

Ferdigheiter

Ved fullført emne er studenten i stand til å:

• definere ein abstrakt grammatikk for eit lite programmeringssprÃ¥k og implementere ein parser for den.
• definere ein operasjonell semantikk for eit lite sprÃ¥k og implementere ein tolk for det.
• definere og implementere eit typesystem / statisk analyse for eit lite sprÃ¥k.

Generell kompetanse

Ved fullført emne er studenten i stand til å:

• gjere grunngjeve slutningar om bruken av programmeringssprÃ¥kkonstruksjonar i programmering.
• gjere grunngjeve slutningar om val av programmeringssprÃ¥k for programvareprosjekt.
• følgje med pÃ¥ utviklinga innan programmeringssprÃ¥k.
• lese og forstÃ¥ vitskaplege artiklar innan programmeringssprÃ¥k feltet.