 
|
|
|
|
|
|
|
|
|
SMD055 Programming Language Theory 6.0 ECTS credits | |
|
TIMEPERIOD: I LANGUAGE:English/Swedish EXAMINER L Andersson 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 |
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 |