Data flow analysis : (Record no. 71595)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02010cam a2200337Ii 4500 |
| 001 - CONTROL NUMBER | |
| control field | 9781315222349 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 180331s2009 flua ob 001 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9781315222349 |
| -- | (e-book : PDF) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9780849332517 |
| -- | (e-book: PDF) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9781351829540 |
| -- | (e-book: Mobi) |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| -- | (hardback) |
| 082 04 - CLASSIFICATION NUMBER | |
| Call Number | 004.35 |
| -- | K456 |
| 100 1# - AUTHOR NAME | |
| Author | Khedker, Uday., |
| 245 10 - TITLE STATEMENT | |
| Title | Data flow analysis : |
| Sub Title | theory and practice / |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | 1 online resource (xiii, 386 pages) |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Remark 2 | 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. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| General subdivision | Verification. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Sanyal, Amitabha. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Karkare, Bageshri. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | https://www.taylorfrancis.com/books/9781315222349 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 264 #1 - | |
| -- | Boca Raton : |
| -- | CRC Press/Taylor & Francis, |
| -- | 2009. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Compilers (Computer programs) |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Data flow computing. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer software |
No items available.