| 000 | 02010cam a2200337Ii 4500 | ||
|---|---|---|---|
| 001 | 9781315222349 | ||
| 008 | 180331s2009 flua ob 001 0 eng d | ||
| 020 |
_a9781315222349 _q(e-book : PDF) |
||
| 020 |
_a9780849332517 _q(e-book: PDF) |
||
| 020 |
_a9781351829540 _q(e-book: Mobi) |
||
| 020 |
_z9780849328800 _q(hardback) |
||
| 024 | 7 |
_a10.1201/9780849332517 _2doi |
|
| 035 | _a(OCoLC)449661968 | ||
| 050 | 4 |
_aQA76.76.C65 _bK54 2009 |
|
| 082 | 0 | 4 |
_a004.35 _bK456 |
| 100 | 1 |
_aKhedker, Uday., _eauthor. _917636 |
|
| 245 | 1 | 0 |
_aData flow analysis : _btheory and practice / _cUday P. Khedker, Amitabha Sanyal, Bageshri Karkare. |
| 264 | 1 |
_aBoca Raton : _bCRC Press/Taylor & Francis, _c2009. |
|
| 300 | _a1 online resource (xiii, 386 pages) | ||
| 504 | _aIncludes bibliographical references (pages 371-278) and index. | ||
| 505 | 0 | _achapter 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. | |
| 650 | 0 |
_aCompilers (Computer programs) _93350 |
|
| 650 | 0 |
_aSoftware engineering. _94138 |
|
| 650 | 0 |
_aData flow computing. _917637 |
|
| 650 | 0 |
_aComputer software _xVerification. _917638 |
|
| 700 | 1 |
_aSanyal, Amitabha. _917639 |
|
| 700 | 1 |
_aKarkare, Bageshri. _917640 |
|
| 776 | 0 | 8 |
_iPrint version: _z9780849328800 _w(DLC) 2009002056 |
| 856 | 4 | 0 |
_uhttps://www.taylorfrancis.com/books/9781315222349 _zClick here to view. |
| 942 | _cEBK | ||
| 999 |
_c71595 _d71595 |
||