Khedker, Uday., <br/><br/>
Data flow analysis :  theory and practice / 
Uday P. Khedker, Amitabha Sanyal, Bageshri Karkare. 
 - 1 online resource (xiii, 386 pages) 
<br/><br/>Includes bibliographical references (pages 371-278) and index. 
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9781315222349 9780849332517 9781351829540 
<br/><br/><label>Standard No.: </label>10.1201/9780849332517   doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Compilers (Computer programs)<br/>Software engineering.<br/>Data flow computing.<br/>Computer software--Verification.
<br/><br/><label>LC Class. No.: </label>QA76.76.C65  / K54 2009 
<br/><br/><label>Dewey Class. No.: </label>004.35  / K456