Centralised Online Undergraduates Registration System (CORS)


Module Detailed Information for [CS5218]
Academic Year : 2018/2019 Semester : 2
Correct as at 21 Feb 2019 05:00

Back to Module Information Listing
Module Information
Module Code :
Module Title : Principles of Program Analysis
Module Description : Program analysis are static (compile-time) techniques for computing approximate and yet reliable information about the dynamic behaviour of programs. This module lays the foundation for study of program analysis. It covers the essential mathematics upon which program analyses are built, and provides an overview of different approaches to program analysis. Topics include: Partially ordered sets, induction and co-induction, data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. Students with interest in programming-language design and compiler design will find this module beneficial.
Module Examinable : -
Exam Date : No Exam Date.
Modular Credits : 4
Pre-requisite : CS4212 Compiler Design or CS4215 Programming Language Implementation
Preclusion : Nil
Module Workload (A-B-C-D-E)* : 2-0-0-6-2
Remarks : Nil
* A: no. of lecture hours per week
B: no. of tutorial hours per week
C: no. of laboratory hours per week
D: no. of hours for projects, assignments, fieldwork etc per week
E: no. of hours for preparatory work by a student per week

Lecture Time Table
Class TypeWeek TypeWeek DayStartEndRoom

Tutorial Time Table
Attention: The tutorial timetables could be updated from time to time. Students are advised to check regularly for the latest update on the change of tutorial timing.
No Tutorial Class or to be announced. Please check with the department offering this module.

  NUS Help NUS Home Search Site Map Contact NUS Legal