Module Details |
The information contained in this module specification was correct at the time of publication but may be subject to change, either during the session because of unforeseen circumstances, or following review of the module at the end of the session. Queries about the module should be directed to the member of staff with responsibility for the module. |
Title | SEMANTICS OF PROGRAMMING LANGUAGES | ||
Code | COMP317 | ||
Coordinator |
Dr GR Malcolm Computer Science Grant@liverpool.ac.uk |
||
Year | CATS Level | Semester | CATS Value |
Session 2016-17 | Level 6 FHEQ | Second Semester | 15 |
Aims |
|
|
Learning Outcomes |
|
By the end of the module, students will:
|
Syllabus |
|
1 |
1 Introduction and Overview (3 lectures)
Denotational Semantics (6 lectures)
Semantics of Data Structures (9 lectures)
Axiomatic Semantics (12 lectures)
|
Teaching and Learning Strategies |
|
Lecture - |
Teaching Schedule |
Lectures | Seminars | Tutorials | Lab Practicals | Fieldwork Placement | Other | TOTAL | |
Study Hours |
30 |
30 | |||||
Timetable (if known) | |||||||
Private Study | 120 | ||||||
TOTAL HOURS | 150 |
Assessment |
||||||
EXAM | Duration | Timing (Semester) |
% of final mark |
Resit/resubmission opportunity |
Penalty for late submission |
Notes |
Written Exam | 2.5 hours | 2 | 80 | At the next normal opportunity. | N/A | Assessment 2 Notes (applying to all assessments) Two assessment tasks This work is not marked anonymously. Written examination |
CONTINUOUS | Duration | Timing (Semester) |
% of final mark |
Resit/resubmission opportunity |
Penalty for late submission |
Notes |
Coursework | 16 hours | 2 | 20 | None: exemption approved. | According to University policy. | Assessment 1 |
Recommended Texts |
|
Reading lists are managed at readinglists.liverpool.ac.uk. Click here to access the reading lists for this module. Explanation of Reading List: |