Catalogue of Modules, University of Nottingham

G53POP Principles of Programming Languages
(Last Updated:03 May 2017)

Year  04/05

Total Credits: 10

Level: Level 3

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

Taught Semesters:

Autumn Assessed by end of Autumn Semester 


G51FUN Functional Programming 

Corequisites:  None.

Summary of Content:  The module covers the following topics:

Module Web Links:
  • Reading List
  • Method and Frequency of Class:

    ActivityNumber Of WeeksNumber of sessionsDuration of a session
    Lecture 12 weeks2 per week1 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 TypeWeightRequirements
    Exam 1 100 2 hr written examination 

    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.

    Module Catalogue Search for another module

    [UoN Welcome Page] Return to The University of Nottingham Welcome Page