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
References and Vademecums
Vademecum - Semantics
Vademecum - Semantics
Completion requirements
Click
notations-handout-2x4-portrait.pdf
link to view the file.
◄ Semantics with Applications - Nielsen
Jump to...
Jump to...
Question & Answers
News & Announcements
Correction of Final Exam 2024-25
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
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
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
Semantics with Applications - Nielsen
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
Vademecum - Dataflow Analysis ►