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
Tutorials and exercices
Tutorial Booklet
Tutorial Booklet
Click
PLCD-SLPC-Tutorial-Exercices.pdf
link to view the file.
◄ News & Announcements
Jump to...
Jump to...
Question & Answers
News & Announcements
Preamble slides
Maths reminders
Lecture - Introduction to the course, Compiler Architecture
Lecture - Natural Operationnal Semantics of While language
Lecture - Natural Operational Semantics of Language Block
Lecture - Structural Operational Semantics
Lecture - Provably correct implementation
Lecture - Axiomatic Semantics and Hoare logic
Lecture - Intermediate-Code Generation
Additional material
Lecture - Frontend: lexical, syntactic, and type analysis
Lecture Optimization
Tutorial - Dataflow analysis
Lecture - Generation of Assembly Code
Tutorial - Code Generation of Assembly code
Exercise 116
16-17
20-21
Quick exam 1
Quick exam 2
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)
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
Preamble slides ►