Skip to main content

Unit information: Advanced Topics in Programming Languages (Teaching Unit) in 2021/22

Unit name Advanced Topics in Programming Languages (Teaching Unit)
Unit code COMSM0067
Credit points 0
Level of study M/7
Teaching block(s) Teaching Block 1 (weeks 1 - 12)
Unit director Dr. Wang
Open unit status Not open

COMS10016 Imperative and Functional Programming and COMS10017 Object Oriented Programming and Algorithms I or equivalent.

COMS20007 Programming Languages or Computation or equivalent.


Assessment Unit COMSM0066 Advanced Topics in Programming Languages (Exam assessment, 10 credits).

School/department Department of Computer Science
Faculty Faculty of Engineering

Description including Unit Aims

This unit provides students with a comprehensive understanding of the fundamental theory of programming languages. We will define language concepts precisely based on their static and dynamic semantics, which can be used as tools for analyse and prove properties of languages, and for combining and comparing language features.

Students completing the unit will gain an understanding of the methods that are directly applicable to the implementation of programming languages, and the reasoning and verification of language properties.

Intended Learning Outcomes

On successful completion of this unit, students will be able to:

  1. Understand and define language concepts by their static and dynamic semantics, and
  2. Use this understanding to analyse and prove properties of languages.

Teaching Information

Teaching will be delivered through a combination of synchronous and asynchronous sessions, including lectures, practical activities supported by drop-in sessions, problem sheets, self-directed exercises and possible group-work.

Teaching will take place over Weeks 1-7, and for students assessed by examination, consolidation and revision sessions in Weeks 11 and 12.

Assessment Information

Exam (100%)


If this unit has a Resource List, you will normally find a link to it in the Blackboard area for the unit. Sometimes there will be a separate link for each weekly topic.

If you are unable to access a list through Blackboard, you can also find it via the Resource Lists homepage. Search for the list by the unit name or code (e.g. COMSM0067).

How much time the unit requires
Each credit equates to 10 hours of total student input. For example a 20 credit unit will take you 200 hours of study to complete. Your total learning time is made up of contact time, directed learning tasks, independent learning and assessment activity.

See the Faculty workload statement relating to this unit for more information.

The Board of Examiners will consider all cases where students have failed or not completed the assessments required for credit. The Board considers each student's outcomes across all the units which contribute to each year's programme of study. If you have self-certificated your absence from an assessment, you will normally be required to complete it the next time it runs (this is usually in the next assessment period).
The Board of Examiners will take into account any extenuating circumstances and operates within the Regulations and Code of Practice for Taught Programmes.