Data Flow Analysis: Theory and Practice

Author:   Uday Khedker (IIT Bombay, Mumbai, India) ,  Amitabha Sanyal (IIT Bombay, Mumbai, India) ,  Bageshri Sathe (IIT Bombay, Mumbai, India)
Publisher:   Taylor & Francis Inc
ISBN:  

9780849328800


Pages:   396
Publication Date:   27 March 2009
Format:   Hardback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $305.00 Quantity:  
Add to Cart

Share |

Data Flow Analysis: Theory and Practice


Overview

Full Product Details

Author:   Uday Khedker (IIT Bombay, Mumbai, India) ,  Amitabha Sanyal (IIT Bombay, Mumbai, India) ,  Bageshri Sathe (IIT Bombay, Mumbai, India)
Publisher:   Taylor & Francis Inc
Imprint:   CRC Press Inc
Dimensions:   Width: 15.60cm , Height: 2.20cm , Length: 23.40cm
Weight:   0.703kg
ISBN:  

9780849328800


ISBN 10:   0849328802
Pages:   396
Publication Date:   27 March 2009
Audience:   Professional and scholarly ,  Professional & Vocational ,  Postgraduate, Research & Scholarly
Format:   Hardback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

PREFACE: An Introduction to Data Flow Analysis SECTION I: 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. SECTION II: 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. SECTION III: Implementing Data Flow Analysis Implementing Data Flow Analysis in GCC. APPENDICES: An Introduction to GCC.

Reviews

...provides a very decent and quite balanced coverage of the topic from a formal perspective. It is well written and nicely organized, containing many examples which definitely help to clarify the rather technical content. All the chapters end with a summary and concluding remarks, as well as bibliographic notes, pointing to further readings. This book also comes with a live web page...that contains slides with some additional material, [an updated] Errata section... and the analyzer software. This book includes an introduction to GCC, a rich list of references, and an index. --Zhjzhang Shen, Plymouth State University


!provides a very decent and quite balanced coverage of the topic from a formal perspective. It is well written and nicely organized, containing many examples which definitely help to clarify the rather technical content. All the chapters end with a summary and concluding remarks, as well as bibliographic notes, pointing to further readings. This book also comes with a live web page!that contains slides with some additional material, [an updated] Errata section! and the analyzer software. This book includes an introduction to GCC, a rich list of references, and an index. --Zhjzhang Shen, Plymouth State University


Author Information

Uday Khedker, Amitabha Sanyal, Bageshri Sathe

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List