Programming Languages and Compiler Design

• Forum Question & Answers
• Forum News & Announcements
• Folder Correction of Final Exam 2024-25

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
• Folder Natural operationnal semantics of While language with procedures

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 - type analysis

Optimization using data-flow analysis

• Folder Lecture Optimization

Generation of Assembly code

• Folder Lecture - Generation of Assembly Code

Previous Year Exams

• Folder 20-21
• 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)
• Folder Mid-term assignment October 2024