Engelska Studiehandboken kurser

Computer Science, Electrical Engineering

SMD055 Programming Language Theory 6.0 ECTS credits

DENNA SIDA FINNS OCKSÅ PÅ SVENSKA

General information about studying at Luleå university


TIMEPERIOD: I


LANGUAGE: English/Swedish

EXAMINER
L Andersson Univ lekt


PREREQUISITES
Functional and imperative programming , extensive experience of programming and some mathematical maturity.

COURSE AIM
The course shall give ability to understand and make formal descriptions of programming languages and to use such descriptions to specify and verify programs.

CONTENTS
Formal languages and grammars. Operational, axiomatic and denotational semantics. Lambda calculus and domain theory.

TEACHING
Lectures.

EXAMINATION

COURSE GRADE SCALE: U,3,4,5

ITEMS/CREDITS

Written exam                                                	6.0ECTS


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

REMARKS

Last modified : 97-09-25
Further information: Lennart Andersson

Back to department menu