Data Flow Analysis: Theory and Practice (Record no. 45196)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01559nam a2200241Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 140223b2009 xxu||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780849328800 |
| Terms of availability | 0.00 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.35 |
| Item number | KHE |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Khedkar, Uday P. |
| 245 ## - TITLE STATEMENT | |
| Title | Data Flow Analysis: Theory and Practice |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc. | Boca Raton |
| Name of publisher, distributor, etc. | CRC Press Taylor & Francis Group |
| Date of publication, distribution, etc. | 2009 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 386p |
| 500 ## - GENERAL NOTE | |
| General note | 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 |
| 600 ## - SUBJECT ADDED ENTRY--PERSONAL NAME | |
| Personal name | Compilers (Computer Programs) |
| 600 ## - SUBJECT ADDED ENTRY--PERSONAL NAME | |
| Personal name | Software Engineering |
| 600 ## - SUBJECT ADDED ENTRY--PERSONAL NAME | |
| Personal name | Computer Engineering |
| 600 ## - SUBJECT ADDED ENTRY--PERSONAL NAME | |
| Personal name | Computer Software - Verification |
| 600 ## - SUBJECT ADDED ENTRY--PERSONAL NAME | |
| Personal name | Data Flow Computing |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Karkare, Bageshri |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Sanyal, Amitabha |
| 890 ## - | |
| -- | UK |
| 995 ## - RECOMMENDATION 995 [LOCAL, UNIMARC FRANCE] | |
| -- | KHE |
| -- | 008974 |
| -- | CET-NIT |
| -- | 3455.94 |
| -- | 0 |
| -- | 049 |
| -- | IN1078 |
| -- | 0 |
| -- | 0.00 |
| -- | 4799.91 28% |
| -- | 20100104 |
| -- | 01 |
| -- | C |
| -- | 20100225 |
| -- | Kushal Books |
| -- | Reference |
No items available.