CS 6202

Course details


Course description

This module focuses on advanced features and foundations of programming languages.  The aim of the course is to look at latest language issues and tools that can facilitate software programming project. While the course will cover some state-of-the-art research topics on language features and reasoning systems, we envision that familiarity with these language/tools to be helpful for students pursuing programming projects for a diverse range of topics.

The first part of the course will comprise of a series of lectures on advance language features in Standard ML and Java 5, and foundations of type system and logic to support the reasoning of programs written in declarative and imperative programming.

In the second-half of the course, students will undertake in depth reading and exploration into selected topics of current research areas on programming languages and their applications. Students will have opportunity to present their findings, culminating in a term paper report.


Course outline

Lecture notes



Online Resources

Additional Links