Data flow analysis : theory and practice / Uday P. Khedker, Amitabha Sanyal, Bageshri Karkare.
By: Khedker, Uday [author.].
Contributor(s): Sanyal, Amitabha | Karkare, Bageshri.
Material type: BookPublisher: Boca Raton : CRC Press/Taylor & Francis, 2009Description: 1 online resource (xiii, 386 pages).ISBN: 9781315222349; 9780849332517; 9781351829540.Subject(s): Compilers (Computer programs) | Software engineering | Data flow computing | Computer software -- VerificationAdditional physical formats: Print version: : No titleDDC classification: 004.35 Online resources: Click here to view.Includes bibliographical references (pages 371-278) and index.
chapter 1 An Introduction to Data Flow Analysis -- part I Intraprocedural Data Flow Analysis -- chapter 2 Classical Bit Vector Data Flow Analysis -- chapter 3 Theoretical Abstractions in Data Flow Analysis -- chapter 4 General Data Flow Frameworks -- chapter 5 Complexity of Iterative Data Flow Analysis -- chapter 6 Single Static Assignment Form as Intermediate Representation -- part II Interprocedural Data Flow Analysis -- chapter 7 Introduction to Interprocedural Data Flow Analysis -- chapter 8 Functional Approach to Interprocedural Data Flow Analysis -- chapter 9 Value-Based Approach to Interprocedural Data Flow Analysis -- part III Implementing Data Flow Analysis -- chapter 10 Implementing Data Flow Analysis in GCC.
There are no comments for this item.