Title: Data flow analysis
Subjects: Computer software, Compilers (Computer programs), Verification, Software engineering, Data flow computing