Faglig innhold

Introduksjon til funksjonelle og logiske språk. Syntaks. Syntaksanalyse. Oversettere. Tolkere. 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. Teoretiske øvinger. Mappevurdering gir grunnlag for sluttkarakter i emnet. I mappen inngår skriftlig avsluttende eksamen (70%) og arbeider (30%). Resultatet 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

van Roy & Haridi: Concepts, Techniques, and Models of Computer Programming, MIT Press, 2004, 900pp+xxix. Supplerende notater. Prosjektbeskrivelser og øvinger.

Studiepoengreduksjon