Svenska Studiehandboken kurser

Systemteknik

SMD055 Programspråkteori 4.0 Poäng

Program/Tidsperiod

Val D, E / Lp I
/

SPRÅK: Engelska/Svenska

EXAMINATOR
L Andersson Univ lekt

FASTSTÄLLD
Kursplanen är fastställd av Institutionen för systemteknik 1995-05-29 att gälla från HT95.

FÖRKUNSKAPSKRAV
Funktionell programmering, Imperativ programmering och Programkonstruktion.

MÅL
Kursen skall ge förmåga att förstå och göra formella beskrivningar av programspråk och att använda sådana för att specificera och verifiera program.

INNEHÅLL
Formella språk och grammatiker. Operationell, axiomatisk och denotationssemantik. Lambdakalkyl och domänteori.

UNDERVISNING
Lektioner.

EXAMINATION
Tentamen.
KURSENS BETYGSKALA: U,3,4,5

MOMENT/PROV


Tentamen                                                    	  4.0	Poäng

LITTERATUR
Meyer B, Introduction to the Theory of Programming Langauages, Prentice-Hall 1990, ISBN 13-498502-8.

ÖVRIGT

Last modified: 97-09-25
Further information: Lennart Andersson
Tillbaka till institutions meny