Séance de cours

Machine virtuelle WASM : Groupe 13

Dans cours
DEMO: veniam voluptate sunt
Commodo commodo est ut incididunt excepteur sit est quis excepteur nisi ut. Magna dolor laborum cillum culpa ut laboris nulla. Sunt ut laboris minim fugiat laborum velit laboris. Sint incididunt et tempor ea. Reprehenderit proident incididunt enim deserunt pariatur consequat.
Connectez-vous pour voir cette section
Description

Cette séance de cours couvre le développement d'une machine virtuelle WebAssembly (WASM) par le groupe 13. La présentation comprend les étapes du pipeline, les objectifs, les non-objectifs, les exemples de programmes, les points de repère, les phases de compilation, le graphique de contrôle-flux, les invariants et la structure de l'interprète. La séance de cours se penche également sur la mise en œuvre de l'interprète, y compris l'interprétation des opérations spécifiques et le processus de gestion de la pile.

Enseignant
ullamco reprehenderit mollit voluptate
Incididunt laboris et culpa ipsum dolor enim culpa id consequat enim reprehenderit. Culpa consectetur non eu ipsum consectetur. Officia nisi excepteur sint fugiat non qui anim irure sint. Id laborum adipisicing laboris officia proident. Aliqua quis culpa incididunt voluptate elit. Esse dolore velit ea pariatur qui sunt commodo sunt non.
Connectez-vous pour voir cette section
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Séances de cours associées (32)
Laboratoire de génération de code
Couvre la génération de code pour un compilateur, traduisant un programme Amy à WebAssembly, y compris la gestion de la mémoire et la compilation de correspondance de motifs.
Exactitude des compilateurs: Partie 2
Explore l'exactitude des compilateurs, en mettant l'accent sur l'évaluation des expressions, la compilation bytecode et les opérations de pile.
Vue d'ensemble du compilateur : exemple de génération de code
Analyse la sortie du compilateur d'un programme C et la compare avec le code d'octet Java.
Vérification des compilateurs : défis et avantages
Examine les défis et les avantages de la vérification des compilateurs, en soulignant l'importance de la vérification des compilateurs pour les logiciels critiques.
La CEPA et le bug
Explore la CEPA, les compilateurs et l'origine du terme «bug» dans l'informatique.
Afficher plus