Faglig innhold

Introduksjon til språkparadigmer, semantikk og beregningsmodeller.
Språkmodeller som støtter deklarativ, funksjonell, logisk, lat, dataflytorientert, distribuert, paralell programmering.
Programmeringsspråks syntaks, analyse, oversetting, tolking og semantikk.
Sammenlikning av egenskaper i språk mht. trygghet, typing, analyserbarhet, kjøretidssystem, semantikk, anvendelsesområde og modularisering.

Læringsutbytte

Emnet skal gi: (1) Forståelse for grunntrekkene i imperative, logiske, funksjonelle og objektorienterte programmeringsspråk. (2) Praktisk kjennskap til teknikker for å implementere språk og metoder for å beskrive deres mening. (3) Programmeringserfaring i forskjellige representative språk. (4) Evne til å forstå og sammenlikne eksisterende og kommende språk.

Læringsformer og aktiviteter

Forelesninger, programmeringslaboratorium, prosjekter og teoretiske øvinger. Mappevurdering gir grunnlag for sluttkarakter i emnet. I mappen inngår skriftlig avsluttende eksamen (80%) og arbeider (20%). Resultatene for delene angis i %-poeng, mens sensur for hele mappen (sluttkarakteren) angis med bokstavkarakter. Ved utsatt eksamen (kontinuasjonseksamen) kan skriftlig eksamen bli endret til muntlig eksamen.

Obligatoriske aktiviteter

• Øvinger

Anbefalte forkunnskaper

Emnene TMA4140 Diskret matematikk, TDT4100 Objektorientert programmering og TDT4120 Algoritmer og datastrukturer, eller tilsvarende kunnskaper.

Kursmateriell

Sannsynligvis van Roy & Haridi: Concepts, Techniques, and Models of Computer Programming, MIT Press, 2004, 900pp+xxix. Supplerende notater. Prosjektbeskrivelser og øvinger. Endelig beslutning om lærebok vil bli tatt i god tid før semesterstart.

Studiepoengreduksjon