Séance de cours

Représentations intermédiaires : CPS/L3

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-420: Advanced compiler construction

Students learn several implementation techniques for modern functional and object-oriented programming languages. They put some of them into practice by developing key parts of a compiler and run time system for a simple functional programming language. ...

Description

Cette séance de cours présente les représentations intermédiaires (IR) utilisées par les compilateurs pour représenter les programmes, en soulignant l'importance de choisir un bon IR pour des analyses et des transformations efficaces. Il se concentre sur CPS / L3, un IR fonctionnel avec des continuations locales et des constructions de contrôle. La séance de cours couvre la syntaxe et l'utilisation de CPS/L3, y compris les liaisons locales, les fonctions et les continuations. Il explore également le processus de traduction de CL3 à CPS / L3, en discutant de la grammaire, du sucre syntaxique et des constructions de contrôle. La session se termine par un exercice pratique sur la traduction d'une expression CL3 en CPS/L3.

Enseignant·e

Michel Schinz

Enseignement et PhD Cours Advanced compiler construction CS-420 Les étudiants apprennent plusieurs techniques de mise en œuvre des langages fonctionnels et orienté-objets. Ils les mettent en pratique en réalisant certaines parties importantes d'un compilateur et d'un moteur d'exécution pour un langage fonctionnel simple. Pratique de la programmation orientée-objet CS-108 Les étudiants perfectionnent leurs connaissances en Java et les mettent en pratique en réalisant un projet

Source officielle

Proximité ontologique

Informatique théorique

Théorie des langages de programmation: Langage de programmation de haut niveau

Concepts associés (32)

Traduction

vignette|La Pierre de Rosette, qui a permis le déchiffrement des hiéroglyphes au . La traduction (dans son acception principale de traduction interlinguale) est le fait de faire passer un texte rédigé dans une langue (« langue source », ou « langue de départ ») dans une autre langue (« langue cible », ou « langue d'arrivée »). Elle met en relation au moins deux langues et deux cultures, et parfois deux époques.

Sucre syntaxique

Sucre syntaxique et sel syntaxique sont des expressions utilisées en informatique à propos des langages de programmation. Sucre syntaxique est une expression imaginée par Peter J. Landin pour désigner les extensions à la syntaxe d'un langage de programmation qui : ne modifient pas son expressivité ; le rendent plus agréable à écrire comme à lire. Le sucre syntaxique exprime le fait de donner au programmeur des possibilités d'écriture plus succinctes ou plus intuitives.

Programmation fonctionnelle

La programmation fonctionnelle est un paradigme de programmation de type déclaratif qui considère le calcul en tant qu'évaluation de fonctions mathématiques. Comme le changement d'état et la mutation des données ne peuvent pas être représentés par des évaluations de fonctions la programmation fonctionnelle ne les admet pas, au contraire elle met en avant l'application des fonctions, contrairement au modèle de programmation impérative qui met en avant les changements d'état.

Compilateur

En informatique, un compilateur est un programme qui transforme un code source en un code objet. Généralement, le code source est écrit dans un langage de programmation (le langage source), il est de haut niveau d'abstraction, et facilement compréhensible par l'humain. Le code objet est généralement écrit en langage de plus bas niveau (appelé langage cible), par exemple un langage d'assemblage ou langage machine, afin de créer un programme exécutable par une machine.

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.

Afficher plus

Séances de cours associées (64)

Régulation de la traduction: contrôle des Ribosomales et réglementation mondiale

Explore les mécanismes de contrôle ribosomal et la régulation globale dans la traduction des protéines à partir des séquences d'ARNm.

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.

Fonctions de l'ARN: Transcription et traduction

Explore les fonctions de l'ARN dans la transcription, la traduction et la régulation des gènes, y compris les mécanismes de défense et les infections virales.

Recherche combinatoire: Pour-Expressions

Explore l'utilisation de for-expressions dans Scala pour simplifier les calculs et résoudre des problèmes comme la recherche combinatoire et N-Queens.

Traductions et homothies

Couvre les traductions, les homothéties et les transformations géométriques à l'aide de vecteurs et de matrices.

Afficher plus

Concepts associés (32)

Traduction

Sucre syntaxique

Programmation fonctionnelle

Compilateur

Structure de contrôle

Afficher plus