COMP3610 and COMP6361, Principles of Programming Languages
Course overview
The course is built around an investigation of what programming languages are, and the notion of programs as artefacts. The course will tentatively cover the following topics:
- Lexical analysis and parsing
- Fixpoint theory
- Operational and denotational semantics of programs
- Program verification
Schedule
There will be two lectures in most weeks:
- Mondays at 11am - 1pm in FSTY T
- Tuesdays at 12am - 1pm in FSTY T
- Wednesday, September 27, at 2-4pm in STB S1 (3.07) and
- Wednesday, October 4, at 2-4pm in STB S1 (3.07)
Group 1:
- Tuesdays at 9-11am in RSISE A105 (tutorial)
- Wednesdays at 12am-2pm in CSIT N112 (practical)
- Wednesdays at 9-11am in RSISE A105 (tutorial)
- Thursdays at 9-11am in CSIT N111 (practical)
Assessment Scheme
- There will be two assignments with a combined weight
of 40%.
The first will be released towards the end of August. The second will be released towards the end of September. - There will be a 3 hour open book final examination with a weight of 60%.
- Your final mark will be the sum of these two components.
Important Notes
- Late assignments will not be accepted. There will be no extensions. Note that assignment due dates and return dates may vary from the schedule advertised above.
- You mark for an assessment item can be revised within at most 2 weeks after its mark is released. Afterwards the mark is final.
- We can request an oral examination to cross-check any of your submissions.
- Plagiarism will be handled according to ANU's policies and procedures.
- Course final results are subject to moderation.