Compiler Construction bio photo

Compiler Construction

Twitter Github

Edit on GitHub

Lecture 11: Monotone Frameworks

In this lecture we study monotone frameworks, a theoretic framework for data-flow analysis, and a worklist algorithm for an efficient implemention of data-flow analysis.

Slides

Compiler Construction | Lecture 11 | Monotone Frameworks 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.
  • Flemming Nielson, Hanne R. Nielson, and Chris Hankin. Principles of program analysis. Springer, 2015.