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 |
Prerequisites: | |
Corequisites: | |
NCCW(s): | |
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.