Lecture 10: Data-Flow Analysis
In this lecture we study control-flow and data-flow as general concepts and how to decribe them.
- 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.