Skip to Content

Advanced Topics in Theory and Practice of Software - COMP782

This unit introduces the formal study of software systems. It is intended to provide a general basis for further study or research in software-focused areas of Computer Science such as Programming Languages and Formal Methods. The unit is organised around two main themes: a) the meaning of languages and programs, and b) techniques for verifying that languages and programs have desired properties. The practical work in the unit includes implementation of formal language semantics and development of verification proofs.

Credit Points: 4
When Offered:

S1 Day - Session 1, North Ryde, Day

Staff Contact(s): Computing staff

Admission to MRes Prerequisite Information


Unit Designation(s):
Assessed As: Graded
Offered By:

Department of Computing

Faculty of Science and Engineering

Course structures, including unit offerings, are subject to change.
Need help? Ask us.