Skip to main content
UFRIM²AG : Moodle
You are currently using guest access (
Log in
)
Programming Languages and Compiler Design
Home
Courses
UGA
UFRIM²AG
Master Informatique
Parcours MOSIG
M1 MOSIG
Semestre 1
PLCD
Axiomatic Semantics
Some correction indications for exercise 34-3
Some correction indications for exercise 34-3
Completion requirements
Click
plcd_34_3_explained.pdf
link to view the file.
◄ Lecture - Axiomatic Semantics and Hoare logic
Jump to...
Jump to...
Question & Answers
News & Announcements
Correction of Final Exam 2024-25
Correction of Final Exam 2025-26
A link to the web page of H.P. Charles (CEA) about "compilettes"
Tutorial Booklet - Part 1 (Semantics)
Tutorial booklet Part 2 (Type analysis and Optimisation)
Tutorial Booklet - Part 3 - Assembly code generation
Preamble slides
Maths reminders
Lecture - Introduction to the course, Compiler Architecture
Lecture - Natural operationnal semantics of While language
Natural operationnal semantics of While language with procedures
Some correction indications for Exercise 9
Lecture - Structural Operational Semantics
Lecture - Provably correct implementation
Lecture - Axiomatic Semantics and Hoare logic
Lecture - Intermediate-Code Generation
Additional material
Lecture - type analysis
Lecture Optimization
Lecture - Generation of Assembly Code
20-21
Midterm
Final Exam Session 1
21-22
Quick 1
Midterm
Final
2022-2023
Quick1
Midterm
Mid-term assignment October 2023
Final Exam 2023-24 (session 1)
Mid-term assignment October 2024
Mid-term assignment October 2025
Semantics with Applications - Nielsen
Vademecum - Semantics
Vademecum - Dataflow Analysis
S-2-S versus back-end / static versus dynamic: Making the most of both, or why compiler architecture must be deeply revisited
Code generation for Embedded Systems
Dynamic-Compilation-Everywhere_Henri-Pierre-Charles
Lecture - Intermediate-Code Generation ►