Principles of Programming Languages COMP6361

Learning outcomes

More information may be available for enrolled students on the course website at http://cs.anu.edu.au/courses/COMP3610

Students who succeed in all aspects of this course will be able to:

1. manipulate and generate lambda-terms, extending a system such as Church numerals; check and assign types to lambda terms.
2. solve simple recursive equations by determining the limit of the Kleene fixpoint construction.
3. design and extend operational and denotational definitions for basic programming language constructs.
4. prove properties of programs by various formal means, including structural and fixpoint induction.
5. demonstrate correspondences between grammars, languages and automata.
6. use standard parser and lexer generator tools to construct and implement translations such as a very simple compiler.