3 Credit Hour Course
Intended For Level 4 Term 1 Students
Prerequisite: CSE211
Fundamentals: semantics of a programming language, static vs. dynamic semantics; Approaches: operational, denotational and axiomatic semantics of imperative program constructs; program verification; semantics of data structures; inductive and recursive definitions; fixed point operators and constructions; selected topics like non-determinism, parallelism, semantics and models of concurrency.
