Séance de cours

Représentations intermédiaires : CPS/L3

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.

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.