Skip to main content
UFRIM²AG : Moodle
You are currently using guest access (
Log in
)
Tutorials and exercices
Home
Courses
UGA
UFRIM²AG
Master Informatique
Parcours MOSIG
M1 MOSIG
Semestre 1
PLCD
Tutorials and exercices
Section outline
◄
Online Lecture and Tutorial
►
Preamble
Select activity Tutorial Booklet - Part 1 (Semantics)
Tutorial Booklet - Part 1 (Semantics)
File
Select activity Tutorial booklet Part 2 (Type analysis and Optimisation)
Tutorial booklet Part 2 (Type analysis and Optimisation)
File
Select activity Tutorial Booklet - Part 3 - Assembly code generation
Tutorial Booklet - Part 3 - Assembly code generation
File
◄
Online Lecture and Tutorial
Jump to...
Main course page
General
Teaching staff
Online Lecture and Tutorial
Tutorials and exercices
Preamble
Introduction & Compiler Architecture
Natural Operational Semantics of Language While
Structural Operational Semantics
Provably Correct Implementation
Axiomatic Semantics
Intermediate-Code Generation
Types and type analysis
Optimization using data-flow analysis
Generation of Assembly code
Previous Year Exams
References and Vademecums
Additional Documents
►
Preamble