| TDDD47 | Programming Theory, 6 ECTS credits. /Programmeringsteori/ |
||
Prel. scheduled
hours: 56 |
|||
|
Area of Education: Technology Main field of studies: Computer Science, Computer Engineerring |
|||
| Advancement level
(G1, G2, A): A
|
|||
| Aim: The course is concerned with formal description techniques for defining semantics of programming languages, that is the meaning of each program of a given language. Having completed the course, the student will be able to:
|
|||
| Prerequisites: (valid for students admitted to programmes within which the course is offered) Familiarity with mathematical style of thinking. Discrete mathematics and logic. An advanced course on programming which includes imperative langauages Note: Admission requirements for non-programme students usually also include admission requirements for the programme and threshhold requirements for progression within the programme, or corresponding. |
|||
| Supplementary courses: Compiler construction, advanced programming courses like Data and program structures, Logic programming and Software quality. |
|||
| Organisation: The theory is presented during lectures and in tutorial classes. Labs and tutorial classes provide practice. |
|||
| Course contents: Transition systems, lambda calculus, operational semantics, denotational semantics and axiomatic semantics. Applying axiomatic semantics to proving program correctness and to construction of provably correct programs. |
|||
| Course literature: H. R. Nielson and F. Nielson. Semantics with Applications. John Wiley and Sons 1992. Compendium compiled at the Department of Computer and Information Science. |
|||
| Examination: | |||
| Laboratory excercises Homework assignments |
2 ECTS 4 ECTS |
||
Course language is English. Department offering the course: IDA. Director of Studies: Patrick Lambrix Examiner: Ulf Nilsson Link to the course homepage at the department Course Syllabus in Swedish |
|||
|
|
 |
|||||
| ||||||