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-06-05 by Jan Lindberg
Further information: Lennart Andersson

Back to department menu