Luleå University of Technology
home search contact us student
Course Catalog 01/02


Computer Science, Electrical Engineering

SMD055 Programming Language Theory 6.0 ECTS credits

TIMEPERIOD:
Quarter I

LANGUAGE:English/Swedish

EXAMINER
Torkel Franzén Univ lekt


PREREQUISITES
SMD001/SMD090 Functional Programming, SMD011/SMD012/SMD038 Imperative Programming (or SMD091 Computer Science Project course), SMD044/SMD056/SMD064, and 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.00ECTS

COURSE LITERATURE
Under preparation.


Further information: International Office

Course information from the department: http://www.sm.luth.se/csee/courses/smd/index.html

Valid for the academic year 01/02.

Web Editor: Karin.Lindholm@dc.luth.se


The University | Student | Research | Search | Contact us | In Swedish


LULEÅ UNIVERSITY OF TECHNOLOGY
University Campus, Porsön, 971 87 Luleå. Tel. +46 (0) 920-91 000, fax +46 (0) 920-91 399
Last edited 2001-12-17