Handbook home
Program Analysis and Transformation (COMP90053) // Further information
About this subject
Further information
- Texts
Prescribed texts
None
- Subject notes
LEARNING AND TEACHING METHODS
The subject involves two 1-hour lectures per week followed by a 1-hour workshop. Weekly tutorial problems are assigned and discussed in class. The programming project is pivotal, as the subject relies heavily on learning-by-doing. Students work in small groups to implement a sophisticated program analysis tool of practical value. Students are encouraged to share ideas and artefacts, such as developed test data. More generally, “contributing student pedagogy” is utilised as a community-building tool. Accordingly, in-plenum discussion of the project is allowed, and encouraged.
INDICATIVE KEY LEARNING RESOURCES
The subject uses online reading materials and an online discussion forum. It offers advance access to teaching materials, including slides used in lectures.
CAREERS / INDUSTRY LINKS
Semantics-based formal approaches are increasingly important in software engineering and software development, in particular for security- and safety-critical applications.
- Related Handbook entries
This subject contributes to the following:
Type Name Course Master of Science (Computer Science) Course Master of Information Technology Course Master of Information Technology Major MIT Computing Specialisation Informal specialisation Master of Engineering (Software) Specialisation (formal) Software Major MIT Distributed Computing Specialisation Specialisation (formal) Computing Specialisation (formal) Distributed Computing - Available through the Community Access Program
About the Community Access Program (CAP)
This subject is available through the Community Access Program (also called Single Subject Studies) which allows you to enrol in single subjects offered by the University of Melbourne, without the commitment required to complete a whole degree.
Entry requirements including prerequisites may apply. Please refer to the CAP applications page for further information.
Additional information for this subject
Subject coordinator approval required
- Available to Study Abroad and/or Study Exchange Students
This subject is available to students studying at the University from eligible overseas institutions on exchange and study abroad. Students are required to satisfy any listed requirements, such as pre- and co-requisites, for enrolment in the subject.
Last updated: 3 November 2022