Lab for Automated Reasoning and Analysis LARA

Lecture 12: Data Flow Analysis Algorithms. Initialization Analysis

Continuing Lecture 11

Scala Code for Data-Flow Analysis

Correctness of Data-Flow Analysis

Initialization Analysis

Live Variable Analysis

Live-Variable Analysis

Continued (surprise, surprise) in Lecture 13

References

 
cc09/lecture_12.txt · Last modified: 2009/11/25 00:33 by vkuncak
 
© EPFL 2018 - Legal notice