Représentations intermédiaires : CPS/L3

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.