Concept

Bytecode

Séances de cours associées (30)

Génération de code : Exemples, WebAssembly

Couvre des exemples de génération de code et introduit le bytecode WebAssembly (WA) et le fonctionnement de la machine de pile.

Introduction à la programmation Java

Couvre les bases de la programmation Java, de l'écriture et de la compilation de programmes au dépannage d'erreurs courantes.

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.

Ethereum Virtual Machine: Calcul du gaz

Explore Ethereum Virtual Machine bytecode, le calcul de gaz, et les applications de blockchain financière utilisant Remix IDE et Etherscan.

Représentations intermédiaires : CPS/L3

Couvre les représentations intermédiaires dans les compilateurs, en se concentrant sur CPS / L3 IR fonctionnel avec des continuations locales et des constructions de contrôle.

Bitcoin et Ethereum: Scénario et gaz

Explore les scripts Bitcoin, Ethereum gaz, les contrats intelligents, les limitations, et les utilisations courantes.

Machines virtuelles : gestion de la mémoire et flux de contrôle

Couvre l'architecture des machines virtuelles, en se concentrant sur la gestion de la mémoire, le flux de contrôle et la sémantique de la machine CEK.

Compilation des expressions

Couvre la conversion des expressions, l'évaluation à l'aide de machines à piles et la génération de bytecode.

Préfixe, Infix, Postfix et génération de code

Explore les notations de préfixe, d'infixe et de postfixe dans les expressions et leur rôle dans la génération de code.

Modèles de signaux paramétriques : Matlab Practice

Couvre les modèles de signaux paramétriques et les applications Matlab pratiques pour les chaînes de Markov et les processus AutoRegressive.

Exactitude des compilateurs: Partie 1

Explore l'exactitude du compilateur, des exemples de compilateurs vérifiés, la vérification formelle et les défis des compilateurs de certification.

Machine virtuelle WASM : Groupe 13

Explore le développement d'une machine virtuelle WebAssembly par le groupe 13, couvrant les étapes du pipeline, la structure de l'interprète et la gestion des piles.

JVM Backend: Génération de code et traduction

Explore la traduction de programmes, de définitions et d'expressions en bytecode à l'aide du moteur JVM.

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.

Introduction au traitement du langage informatique

Couvre le traitement du langage informatique, les compilateurs, les compétences acquises et des exemples d'application.

Ordinateur arithmétique (entiers)

Couvre la représentation binaire, le complément de deux, la détection de débordement, et les opérations en MIPS pour l'arithmétique informatique avec entiers.

Compilation des structures de contrôle

Couvre la compilation des structures de contrôle dans les langages de programmation.

MIPS ISA: Classes d'instruction et modes d'adressage

Explore les cours d'instruction MIPS ISA, l'organisation de la mémoire et les modes d'adressage, y compris les exemples et l'endianité.

Langages formels : Concepts

Couvre les bases des langues formelles, y compris les alphabets, les mots et les langues, ainsi que des opérations comme la concaténation et l'inversion.

Sécurité mobile : Profils des processeurs ARM

Couvre les objectifs de sécurité, les faiblesses du code ARM, les types de logiciels malveillants, le piratage du contenu numérique et les détails ARMv8 ISA.

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.