Différences

Ci-dessous, les différences entre deux révisions de la page.

--- formations:licence:ue:l3:mv6 [2025/01/29 10:43] – créée - modification externe 127.0.0.1
+++ formations:licence:ue:l3:mv6 [2025/01/29 10:50] (Version actuelle) – ↷ Page déplacée de playground:formations:licences:ue:l3:mv6 à formations:licence:ue:l3:mv6 admin
@@ Ligne 1: / Ligne 1: @@
+====== Machines virtuelles (MV6) ======
+===== Description =====
+Ce cours introduit les principes des machines virtuelles exécutant du code-octet (comme Ocamlrun ou JVM) et présente les bases de la compilation d’un langage de haut niveau en code-octet. Ce cours s'apparie très naturellement au cours Grammaires et Analyse Syntaxique en donnant des exemples d'analyse sémantique appliquée au résultat de l'analyse syntaxique.
+Ce cours ne traite pas les machines virtuelles pour les systèmes d'exploitation (comme VMWare et autres).
+===== Syllabus =====
+  * Machines à a pile
+  * Codage/décodage du code-octet
+  * Introduction à la compilation:
+     * Expressions
+     * Branchements
+     * Déclarations locales et globales
+     * Données structurées
+     * Fonctions et notion de clôture,
+     * Exemples d’optimisation
+  * Jeu d’instructions de Ocamlrun et JVM.
+===== Pré-requis =====
+Dans les TP le langage OCaml est utilisé, le cours de [[pf5|programmation fonctionnelle au S5]] est donc un pré-requis essentiel.
+Une connaissance de Java est également nécessaire.