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

Traduire le contrôle avec les paramètres de destination

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 traduction efficace des structures de flux de contrôle en utilisant des paramètres de destination de branche, la décomposition des conditions dans les instructions de branche, le retour des résultats des opérations de branche et la compilation des instructions de commutation avec des pauses. Il explique également la traduction des instructions while et break, y compris la propagation des étiquettes de sortie et l'utilisation de plusieurs paramètres de destination.

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 (20)

Switch (instruction)

En programmation informatique, switch (« aiguillage » en anglais), parfois aussi select (comme en VB) ou inspect ou case of (Pascal, Modula 2) ou Match (Rust et Python) est une instruction qui permet d'effectuer un branchement à partir de la valeur d'une variable. Elle peut dans certains cas remplacer une série (souvent peu élégante) de if... else. On l'utilise lorsque les cas à gérer sont nombreux. Ce mécanisme est préfiguré dans les années 1960 par les branchements calculés.

Structure de contrôle

En programmation informatique, une structure de contrôle est une instruction particulière d'un langage de programmation impératif pouvant dévier le flot de contrôle du programme la contenant lorsqu'elle est exécutée. Si, au plus bas niveau, l'éventail se limite généralement aux branchements et aux appels de sous-programme, les langages structurés offrent des constructions plus élaborées comme les alternatives (if, if–else, switch...), les boucles (while, do–while, for...) ou encore les appels de fonction.

Statement (computer science)

In computer programming, a statement is a syntactic unit of an imperative programming language that expresses some action to be carried out. A program written in such a language is formed by a sequence of one or more statements. A statement may have internal components (e.g. expressions). Many programming languages (e.g. Ada, Algol 60, C, Java, Pascal) make a distinction between statements and definitions/declarations. A definition or declaration specifies the data on which a program is to operate, while a statement specifies the actions to be taken with that data.

Tableau de financement

Le tableau de financement est l'état comptable des flux de trésorerie d'emplois mobilisés et de ressources dégagées par l'entreprise au cours d'un, ou plusieurs, exercice comptable passé. Il ne doit pas être confondu avec le plan de financement qui est construit avec un mélange de flux de fonds et de flux de trésorerie. Le bilan et le compte de résultat perdent une partie des informations saisies par la comptabilité ; le premier parce qu'il ne mesure que des stocks de valeur à un instant, oubliant les flux dont ils sont l'aboutissement ; le second parce qu'il note seulement les soldes des flux de valeur qui ont une action sur le patrimoine, donc sur le résultat.

Boucle while

vignette|Boucle while En programmation, la boucle while, francisée en boucle tant que, est une structure de contrôle permettant d'exécuter un ensemble d'instructions de façon répétée sur la base d'une condition booléenne. La boucle while peut être considérée comme une répétition de l'instruction if. Une boucle while est constituée d’un bloc de code source et d’une condition. À l’exécution, la condition est d’abord évaluée, et si elle est vraie, le bloc de code source est évalué.

Afficher plus

Séances de cours associées (27)

Compilation avec les paramètres de destination de branche

Couvre la traduction des fragments de programme, des instructions de commutation et des instructions de rupture dans les langages de programmation.

Déclarations de débit de commande en C

Couvre les débits de commande en C, y compris les débits de commande et les débits de commutation pour la prise de décision et la comparaison des valeurs.

Convertir les programmes impératifs en formules

Explore la conversion de programmes impératifs en formules, y compris les conditions de vérification, la construction de formules et les structures de flux de contrôle.

Boucles: pendant et pour

Couvre pendant et pour les boucles, y compris les boucles infinies, continuez, passez, et les déclarations de rupture, avec des exemples et des exercices.

C++: Pause et continue

Couvre et continue en C++, les meilleures pratiques de portée variable, et des exemples.

Afficher plus

Concepts associés (20)

Switch (instruction)

Structure de contrôle

Statement (computer science)

Tableau de financement

Boucle while

Afficher plus