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 AND CREDITS
Written exam 6.0 ECTS
COURSE LITERATURE
Meyer B, Introduction to the Theory of Programming Langauages, Prentice-Hall 1990, ISBN 13-498502-8.
REMARKS
Last modified 97-03-05
Further information: Lennart Andersson
Back to departement menu