Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
This lecture introduces intermediate representations (IRs) used by compilers to represent programs, emphasizing the importance of choosing a good IR for efficient analyses and transformations. It focuses on CPS/L3, a functional IR with local continuations and control constructs. The lecture covers the syntax and usage of CPS/L3, including local bindings, functions, and continuations. It also delves into the translation process from CL3 to CPS/L3, discussing the grammar, syntactic sugar, and control constructs. The session concludes with a practical exercise on translating a CL3 expression to CPS/L3.