(Last Updated:03 May 2017)

**Total Credits: **10

**Level: **Level 3

**Target Students: **Final year Single Honours or Joint Honours Computer Science students; no restrictions on numbers.

**Taught Semesters:**

Semester | Assessment |
---|---|

Autumn | Assessed by end of Autumn Semester |

**Prerequisites: **

Mnem | Title |
---|---|

G51FUN | Functional Programming |

**Corequisites: **None.

**Summary of Content: **The module covers the following topics:

- Syntax
- Denotational semantics
- Operational semantics
- Lambda calculus
- Types and type systems
- Domain theory

**Method and Frequency of Class: **

Activity | Number Of Weeks | Number of sessions | Duration of a session |
---|---|---|---|

Lecture | 12 weeks | 2 per week | 1 hour |

Activities may take place every teaching week of the Semester or only in specified weeks. It is usually specified above if an activity only takes place in some weeks of a Semester

**Method of Assessment: **

Assessment Type | Weight | Requirements |
---|---|---|

Exam 1 | 100 | 2 hr written examination |

**Convenor: **

Professor G Hutton

**Education Aims: **to teach some of the basic principles of programming language semantics. Broadly speaking, programming language semantics is the
mathematical study of the meaning of programs. Semantics has applications in any area of computing in which a precise understanding of
the meaning of programs is important, including programming language design, transforming and reasoning about programs, and compiler
construction

**Learning Outcomes: **Knowledge and Understanding
knowledge and understanding of the basic principles of programming language semantics
a sound grasp of the underlying mathematical concepts
Intellectual Skills
the ability to understand and deploy programming-related mathematical concepts and techniques
Professional Skills
Transferable Skills
the ability to utilise mathematics to solve problems in and using computer programming

**Offering School: **Computer Science

Use the **Back** facility of your browser to return to the previous page.

Return to The University of Nottingham Welcome Page