TY  - BOOK
AU  - Khedkar, Uday P.
AU  - Karkare, Bageshri
AU  - Sanyal, Amitabha
TI  - Data Flow Analysis: Theory and Practice
SN  - 9780849328800
U1  - 004.35 
PY  - 2009///
CY  - Boca Raton
PB  - CRC Press Taylor & Francis Group
KW  - Compilers (Computer Programs)
KW  - Software Engineering
KW  - Computer Engineering
KW  - Computer Software - Verification
KW  - Data Flow Computing
N1  - 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
ER  -