CSE465

---

Semantics of Programming Languages

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.