Compiler Construction bio photo

Compiler Construction

Twitter Github

Edit on GitHub

Lecture 10: Data-Flow Analysis

In this lecture we study control-flow and data-flow as general concepts and how to decribe them.

Slides

Compiler Construction | Lecture 10 | Data-Flow Analysis from Eelco Visser

Reading Material

  • Jeff Smits, Eelco Visser. FlowSpec: declarative dataflow analysis specification. In Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering 2017, Vancouver, BC, Canada, October 23 - 24, 2017. pages 221-231, ACM, 2017. This paper presents the FlowSpec language. The main ideas of the language are still the same although some of the syntax has changed.