Séance de cours

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

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.

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

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.

Branchement

En informatique, un branchement est une opération consistant à se déplacer au sein d'un code exécuté par un processeur, en « sautant » à une adresse identifiée au lieu de poursuivre l'exécution du code séquentiellement. Un processeur est une unité de traitement séquentielle, ce qui signifie qu'il exécute un ensemble d'instructions en effectuant celles-ci les unes après les autres.

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.

Graphe de flot de contrôle

En informatique, un graphe de flot de contrôle (abrégé en GFC, control flow graph ou CFG en anglais) est une représentation sous forme de graphe de tous les chemins qui peuvent être suivis par un programme durant son exécution. Dans un GFC, les sommets du graphe représentent un bloc de base, c'est-à-dire un bout de code d'un seul tenant sans sauts ni cibles de sauts. Les cibles de sauts marquent le début d'un bloc de base, tandis que les sauts en marquent la fin. Les arcs représentent les sauts dans le flot de contrôle.

Afficher plus

Séances de cours associées (60)

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.

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.

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.

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.

Contrôle de flux et E/S de fichiers

Couvre les concepts de contrôle de flux et les opérations d'entrée/sortie de fichiers, y compris les boucles, les conditions et la gestion des arguments de ligne de commande.

Afficher plus

Concepts associés (24)

Structure de contrôle

Branchement

Statement (computer science)

Tableau de financement

Graphe de flot de contrôle

Afficher plus