Skip to main content
UFRIM²AG : Moodle
You are currently using guest access (
Log in
)
Introduction & Compiler Architecture
Home
Courses
UGA
UFRIM²AG
Master Informatique
Parcours MOSIG
M1 MOSIG
Semestre 1
PLCD
Introduction & Compiler Architecture
Section outline
◄
Preamble
►
Natural Operational Semantics of Language While
Introduction to the course
Compilation and Semantics
An overview of the architecture of a compiler
Select activity Lecture - Introduction to the course, Compiler Architecture
Lecture - Introduction to the course, Compiler Architecture
Folder
◄
Preamble
Jump to...
Main course page
Teaching staff
Online Lecture and Tutorial
Tutorials and exercices
Preamble
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
►
Natural Operational Semantics of Language While