Stock Image

Data Flow Analysis : Theory and Practice

Uday P. Khedker, Amitabha Sanyal and Bageshri Karkare

1 ratings by Goodreads
ISBN 10: 0849328802 / ISBN 13: 9780849328800
Published by CRC Press, 2013
Used Condition: As New Soft cover
From Vedams eBooks (P) Ltd (New Delhi, India)

AbeBooks Seller Since January 30, 2009

Quantity Available: 1
Buy Used
Price: US$ 37.50 Convert Currency
Shipping: US$ 16.40 From India to U.S.A. Destination, Rates & Speeds
Add to basket

30 Day Return Policy


About this Item

Data flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software engineering and verification. Modern compilers apply it to produce performance-maximizing code, and software engineers use it to re-engineer More.or reverse engineer programs and verify the integrity of their programs. Supplementary Online Materials to Strengthen Understanding Unlike most comparable books, many of which are limited to bit vector frameworks and classical constant propagation, Data Flow Analysis: Theory and Practice offers comprehensive coverage of both classical and contemporary data flow analysis. It prepares foundations useful for both researchers and students in the field by standardizing and unifying various existing research, concepts, and notations. It also presents mathematical foundations of data flow analysis and includes study of data flow analysis implantation through use of the GNU Compiler Collection (GCC). Divided into three parts, this unique text combines discussions of inter- and intraprocedural analysis and then describes implementation of a generic data flow analyzer (gdfa) for bit vector frameworks in GCC.Through the inclusion of case studies and examples to reinforce material, this text equips readers with a combination of mutually supportive theory and practice, and they will be able to access the author's accompanying Web page. Here they can experiment with the analyses described in the book, and can make use of updated features, including:Slides used in the authors' courses The source of the generic data flow analyzer (gdfa) An errata that features errors as they are discovered Additional updated relevant material discovered in the course of research. Bookseller Inventory # 111447

Ask Seller a Question

Bibliographic Details

Title: Data Flow Analysis : Theory and Practice

Publisher: CRC Press

Publication Date: 2013

Binding: Soft cover

Book Condition:As New

About this title

Synopsis:

Data flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software engineering and verification. Modern compilers apply it to produce performance-maximizing code, and software engineers use it to re-engineer or reverse engineer programs and verify the integrity of their programs.

 

Supplementary Online Materials to Strengthen Understanding

 

Unlike most comparable books, many of which are limited to bit vector frameworks and classical constant propagation, Data Flow Analysis: Theory and Practice offers comprehensive coverage of both classical and contemporary data flow analysis. It prepares foundations useful for both researchers and students in the field by standardizing and unifying various existing research, concepts, and notations. It also presents mathematical foundations of data flow analysis and includes study of data flow analysis implantation through use of the GNU Compiler Collection (GCC). Divided into three parts, this unique text combines discussions of inter- and intraprocedural analysis and then describes implementation of a generic data flow analyzer (gdfa) for bit vector frameworks in GCC.

Through the inclusion of case studies and examples to reinforce material, this text equips readers with a combination of mutually supportive theory and practice, and they will be able to access the author’s accompanying Web page. Here they can experiment with the analyses described in the book, and can make use of updated features, including:

  • Slides used in the authors’ courses
  • The source of the generic data flow analyzer (gdfa)
  • An errata that features errors as they are discovered
  • Additional updated relevant material discovered in the course of research

About the Author:

IIT Bombay, Mumbai, India

"About this title" may belong to another edition of this title.

Store Description

A one stop shop for books from India. We can supply any title published in India by any publisher. We have an extensive annotated catalogue of books on the web. We have been supplying books from India to University Libraries, Art Museums, Botanical Gardens world wide for the past thirty years.

Visit Seller's Storefront

Terms of Sale:

We check every book for page mistake before they are shipped out. We take a lot of pain in our packing so that the books reach their destination in mint condition.

Name of the Company : Vedams eBooks [P] Ltd
Business Address: Vardhaman Charve Plaza IV, Bldg. 10, 2nd Floor, KP Block Commercial Centre, Pitampura, New Delhi 110034, India
e-mail address: vedams@vedamsbooks.com
Telephone Numbers: 00-91-11-27310611; 00-91-11-27310612
Fax: 00-91-27310613
Office Working Hours: 9 AM to 5 PM - Monday to F...

More Information
Shipping Terms:

Shipping costs includes insurance. Books lost in transit will be replaced immediately. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know if extra shipping is required.

List this Seller's Books

Payment Methods
accepted by seller

Visa Mastercard American Express

Check Money Order Invoice Bank Draft Bank/Wire Transfer