Credits: 3 (3-0-0)
Prerequisites: COL765 or (COL226+COL202)
Description
The course will focus on one or more specialised research topics such as Operational and Denotational Semantics, Domain Specific Languages, Types Systems, Flow Analysis, Abstract Interpretation, Static Analysis, Program Synthesis, etc.
Prerequisite Tree
flowchart TD
COL871-1340[COL871]
COL871-1340 --- Or1341[Any one of]:::empty
COL765-1342 --> COL106-1342[COL106]
COL106-1342 --> COL100-1342[COL100]
Or1341 -.-> COL765-1342[COL765]
Or1341 -.- and1343[ ]:::trueEmpty
and1343 --> COL226-1343[COL226]
COL106-1343 --> COL100-1343[COL100]
and1343 --> COL202-1343[COL202]
COL226-1343 --> COL106-1343[COL106]
classDef empty height:17px, fill:transparent, stroke:transparent;
classDef trueEmpty height:0px, width:0px;