Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Compilation des structures de contrôle

Dans cours

CS-320: Computer language processing

We teach the fundamental aspects of analyzing and interpreting computer languages, including the techniques to build compilers. You will build a working compiler from an elegant functional language into machine code using a popular backend called LLVM (htt ...

Description

Cette séance de cours couvre la compilation de structures de contrôle dans les langages de programmation, en se concentrant sur la traduction des instructions de flux de contrôle en instructions de bytecode. Les sujets incluent la compilation des instructions if, la représentation des booléens, la composition séquentielle et la décomposition efficace des conditions.

Enseignant·e

Viktor Kuncak

Viktor Kunčak joined EPFL in 2007, after receiving a PhD degree from MIT. Since then has been leading the Laboratory for Automated Reasoning and Analysis and supervised at least 12 completed PhD theses. His works on languages, algorithms and systems for verification and automated reasoning. He served as an initiator and one of the coordinators of a European network (COST action) in the area of automated reasoning, verification, and synthesis. In 2012 he received a 5-year single-investigator European Research Council (ERC) grant of 1.5M EUR. His invited talks include those at Lambda Days, Scala Days, NFM, LOPSTR, SYNT, ICALP, CSL, RV, VMCAI, and SMT. A paper on test generation he co-authored received an ACM SIGSOFT distinguished paper award at ICSE. A PLDI paper he co-authored was published in the Communications of the ACM as a Research Highlight article. His Google Scholar profile reports an over-approximate H-index of 38. He was an associate editor of ACM Transactions on Programming Languages and Systems (TOPLAS) and served as a co-chair of conferences on Computer-Aided Verification (CAV), Formal Methods in Computer Aided Design (FMCAD), Workshop on Synthesis (SYNT), and Verification, Model Checking, and Abstract Interpretation (VMCAI). At EPFL he teaches courses on functional and parallel programming, compilers, and verification. He has co-taught the MOOC "Parallel Programming" that was visited by over 100'000 learners and completed by thousands of students from all over the world.

Source officielle

Concepts associés (21)

Bytecode

vignette|Code binaire en En informatique, le bytecode (terme anglais signifiant « code en bytes ») est un code intermédiaire entre les instructions machines et le code source, qui n'est pas directement exécutable. Le bytecode (également appelé code portable ou p-code) peut être créé à la volée et résider en mémoire (compilation à la volée, JIT en anglais) ou bien résider dans un fichier, généralement binaire qui représente le programme, tout comme un fichier de code objet produit par un compilateur.

Bytecode Java

Le bytecode Java est un bytecode destiné à regrouper des instructions exécutables par une machine virtuelle Java. Par extension, il désigne un flux d'octets binaire au format d'une classe Java. Ce flux est habituellement le résultat de la compilation d'un code source, ce code source n'étant pas obligatoirement écrit en langage Java. Ce bytecode peut être exécuté sous de nombreux systèmes d'exploitation par une machine virtuelle Java.

Implication (logique)

En logique mathématique, l'implication est l'un des connecteurs binaires du langage du calcul des propositions, généralement représenté par le symbole « ⇒ » et se lisant « ... implique ... », « ... seulement si ... » ou, de façon équivalente, « si ..., alors ... » comme dans la phrase « s'il pleut, alors il y a des nuages ». L'implication admet des interprétations différentes selon les différents systèmes logiques (logique classique, modale, intuitionniste, etc.).

Phrase conditionnelle

En syntaxe, on appelle phrase conditionnelle une phrase complexe contenant au moins une proposition subordonnée conditionnelle et sa proposition principale. La proposition conditionnelle est directement subordonnée au verbe de la principale. Cette subordonnée est en général définie comme exprimant la condition du remplissement ou du non-remplissement de laquelle dépend la réalisation ou non du procès du verbe principal. Certains auteurs ajoutent à cela que la proposition conditionnelle remplit la fonction d'un complément circonstanciel conditionnel.

Interprète (informatique)

En informatique, un interprète, ou interpréteur , est un outil dont la tâche est d'analyser, de traduire et d'exécuter les programmes écrits dans un langage informatique. On qualifie parfois, , les langages dont les programmes sont généralement exécutés par un interprète de langages interprétés. Un interprète se distingue d’un compilateur par le fait qu’il effectue l’analyse et la traduction nécessaires à l'exécution d’un programme donné non pas une fois pour toutes, mais à chaque exécution de ce programme.

Afficher plus

Séances de cours associées (32)

Génération de code simple pour if

Couvre la compilation de séquences d'instructions, de structures de contrôle, de représentations booléennes et de comparaisons dans la génération de code WebAssembly.

Déclarations conditionnelles: C++ Basics

Introduit les bases des déclarations conditionnelles dans C++, y compris les opérateurs booléens et l'évaluation logique.

Conditionnels: bases et exemples MOOC: Traitement et analyse d'images pour les scientifiques du vivant

Couvre les bases des conditions et leur mise en œuvre dans la programmation.

Algèbre booléenne : programmation de Python

Présente les concepts d'algèbre booléenne et leur application dans la programmation Python.

Python: Exercices en semaine

Couvre les exercices Python liés aux jours de la semaine, invitant l'utilisateur à entrer et à afficher les jours de la semaine.

Afficher plus

Concepts associés (21)

Bytecode

Bytecode Java

Implication (logique)

Phrase conditionnelle

Interprète (informatique)

Afficher plus