COL831 Semantics of Programming Languages

Credits: 3 (3-0-0)

Prerequisites: COL226, COL352

Description

Study of operational, axiomatic and denotational semantics of procedural languages; semantics issues in the design of functional and logic programming languages, study of abstract data types.

Prerequisite Tree

flowchart TD
COL831-238[COL831]
COL831-238 --> COL352-238[COL352]
COL226-238 --> COL106-238[COL106]
COL831-238 --> COL226-238[COL226]
COL106-238 --> COL100-238[COL100]
COL352-238 --> COL202-238[COL202]

classDef empty height:17px, fill:transparent, stroke:transparent;
classDef trueEmpty height:0px, width:0px;