COMP6361
Principles of Programming Languages
- Credit
- 6 units
- Catalogue year
- 2027
- Recorded offerings
- Second Semester
Course information
“Programming languages are the medium through which we describe computations. More specifically, we use the model provided by a programming language to discuss concepts, formulate algorithms, and reason about problem solutions. Programming languages define models tailored to thinking about and solving problems in intended application areas. For example, the C language provides a model close to a computer’s underlying hardware […]. The languages used in practice change continuously as advances in our field and the broadening uses of technology change how we model and express computation. At its core, the study of programming languages examines the principles and limitations of computing (or programming) models, the effective design and use of systems or languages based on these models, and methods to compare their relative strengths and weaknesses in particular contexts.” [Why Undergraduates Should Learn the Principles of Programming Languages, ACM SIGPLAN Education Board, February 6, 2011, Page 1]This course is an introduction to the theory and design of programming languages. To develop high-assurance software - software for which we can give strong evidence that the software will do what it is supposed to do and nothing more - a formal description of the 'meaning' and behaviour of programs is required. Hence two fundamental aspects of the study of programming languages are their syntax, and their formal semantics. High-assurance software is not only needed for safety-critical software, but also for program transformations, such as carried out by optimising compilers.Topics covered in this course include formal semantics of programming languages (such as operational, denotational and axiomatic), type systems, higher-order functions and lambda calculus, concurrency, and communication.
Requisite and Incompatibility
To enrol in this course you must have successfully completed COMP6442 and COMP6260; or be enrolled in Master of Computing (Advanced)
Learning Outcomes
Upon successful completion, students will have the knowledge and skills to:
Understand the role of theoretical formalisms, such as operational and denotational semantics
Apply these semantics in the context of programming languages
Evaluate differences (advantages/disadvantages) of these theoretical formalisms
Create operational or denotational semantics of simple imperative programs
Analyse the role of types in programming languages
Formalise properties and reason about programs
Apply basic principles for formalising concurrent programming languages
Reflect on current approaches to reason about concurrent systems and evaluate their limitations
Saved ANU Programs & Courses information, 2027. Future offerings are indicative. Checks use the saved requirements and your fictional academic record.
Saved requirements encoded for automatic checks. See your requirement checks for what can be decided.
Course library: sources, offering dates and related entries
Read the full published course information ↗
Who reviews permission requests?
Dr Leo Brandt is the fictional reviewer assigned to COMP6361 in this prototype. The selected course determines where a request goes.
Make this part of your semester
Sign in to check your fictional academic record, save this offering, and request permission if needed.
Sign in