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
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.