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.
Lecture
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 covers closure conversion techniques for mutually-recursive functions, discussing cyclic and shared closures. It explains the transformation process, highlighting inefficiencies in the translation and presenting an improved version that splits functions into a wrapper and worker. The lecture also addresses hoisting functions post-closure conversion and the formalization of available expressions in dataflow analysis. It delves into solving equations iteratively to find the largest sets satisfying the analysis, and generalizes the dataflow equations for available expressions. The session concludes by exploring the scope of dataflow analysis and its applications in program optimization.