Programming Languages and Compiler Design

• Forum Question & Answers
• Forum News & Announcements

• LM	NOS - Correction of exercise 16 available online by Laurent Mounier - Friday, 25 September 2026, 8:35 AM

• Folder Correction of Final Exam 2025-26

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 Final Exam Session 1
• Folder Quick1
• Folder Mid-term assignment October 2025