Programming Languages and Compiler Design

• Forum Question & Answers
• Forum News & Announcements

Preamble

• Folder Preamble slides
• Folder Maths reminders

Introduction & Compiler Architecture

• Folder Lecture - Introduction to the course, Compiler Architecture

Natural Operational Semantics of Language While

• Folder Lecture - Natural Operationnal Semantics of While language

Natural Operational Semantics of Languages Block and Proc

• Folder Lecture - Natural Operational Semantics of Language Block

Structural Operational Semantics

• Folder Lecture - Structural Operational Semantics

Provably Correct Implementation

• Folder Lecture - Provably correct implementation

Axiomatic Semantics

• Folder Lecture - Axiomatic Semantics and Hoare logic

Intermediate-Code Generation

• Folder Lecture - Intermediate-Code Generation

Types and type analysis

• Folder Lecture - Frontend: lexical, syntactic, and type analysis

Optimization using data-flow analysis

• Folder Lecture Optimization

Generation of Assembly code

• Folder Lecture - Generation of Assembly Code

Previous Year Exams

• Folder 16-17
• Folder 20-21
• Folder Quick exam 1
• Folder Quick exam 2
• Folder Midterm
• Folder Final Exam Session 1
• Folder 21-22
• Folder Quick 1
• Folder Midterm
• Folder Final
• Folder 2022-2023
• Folder Quick1
• Folder Midterm
• Folder Mid-term assignment October 2023
• Folder Final Exam 2023-24 (session 1)