2006/2007, Semester 2
School of Computing (Computer Science)
Modular Credits: --
The objective of this course is to provide the basic mathematical techniques to study the semantics and logical reasoning of programs and programming languages. This enables the students the ability to understand semantics specifications and to develop new ones for new languages. The course also describes and compares various advanced programming language features. The course combines theory and practice. Topics covered include axiomatic, denotational and operational semantics, type systems, template meta-programming, staged/generic programming, XML and XML processing.
Prerequisites: CS2104 or CS3212 or CS3234