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
Lecture - Natural operationnal semantics of While ...
Lecture - Natural operationnal semantics of While language
Completion requirements
Download folder
nos-while-handout-1x2-landscape.pdf
nos-while-handout-1x2-portrait.pdf
nos-while-handout-2x2-landscape.pdf
nos-while-handout-2x2-portrait.pdf
nos-while-handout-2x4-portrait.pdf
nos-while-handout.pdf
◄ Lecture - Introduction to the course, Compiler Architecture
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
Natural operationnal semantics of While language with procedures
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
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
Natural operationnal semantics of While language with procedures ►