Lecture

Intermediate Representations: CPS/L3

Description

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.

About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.