Data Flow Analysis: Theory and Practice
Khedkar, Uday P.
Data Flow Analysis: Theory and Practice - Boca Raton CRC Press Taylor & Francis Group 2009 - 386p
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
9780849328800 0.00
Compilers (Computer Programs)
Software Engineering
Computer Engineering
Computer Software - Verification
Data Flow Computing
004.35 / KHE
Data Flow Analysis: Theory and Practice - Boca Raton CRC Press Taylor & Francis Group 2009 - 386p
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
9780849328800 0.00
Compilers (Computer Programs)
Software Engineering
Computer Engineering
Computer Software - Verification
Data Flow Computing
004.35 / KHE