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
Natural Operational Semantics of Language While
Some correction indicatins for Exercise 16
Some correction indicatins for Exercise 16
Completion requirements
Click
exo16.pdf
link to view the file.
◄ Some correction indications for Exercise 9
Jump to activity
Jump to activity
Question & Answers
News & Announcements
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)
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
Some correction indications for exercise 34-3
Lecture - Intermediate-Code Generation
Additional material
Lecture - type analysis
Lecture Optimization
Lecture - Generation of Assembly Code
20-21
Final Exam Session 1
Quick1
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 - Structural Operational Semantics ►