Data Flow Analysis: Theory and Practice - Khedkar, Uday P.; Karkare, Bageshri; Sanyal, Amitabha (Boca Raton CRC Press Taylor & Francis Group, 2009)
Preface An Introduction to Data Flow Analysis Part - 1: Intraprocedural Data Flow Analysis Classical Bit Vector Data Flow Analysis Theoretical Abstractions in Data Flow Analysis General Data Flow Frameworks Complexity of Iterative Data Flow Analysis Single Static Assignment Form as Intermediate Representation Part - 2: Interprocedural Data Flow Analysis Introduction to Interprocedural Data Flow Analysis Functional Approach to Interprocedural Data Flow Analysis Value Based Approach to Interprocedural Data Flow Analysis Part - 3: Implementing Data Flow Analysis Implementing Data Flow Analysis in GCC Appendix - A: An Introduction to GCC References Index
Keywords: Compilers (Computer Programs); Software Engineering; Computer Engineering; Computer Software - Verification; Data Flow Computing