Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Programming Languages   Compilers

Data Flow Analysis: Theory and Practice


Mega Sale! Save 29% on the Data Flow Analysis: Theory and Practice by Brand: CRC Press at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. Data flow analysis is used to discover information for a wide variety of useful applications, ranging from compiler optimizations to software


Product Description

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

Additional Information

Manufacturer:CRC Press
Brand:Brand: CRC Press
Publisher:CRC Press
Studio:CRC Press
EAN:9780849328800
Item Weight:1.56 pounds
Item Size:0.88 x 9.21 x 9.21 inches
Package Weight:1.65 pounds
Package Size:6.4 x 1.1 x 1.1 inches

Data Flow Analysis: Theory and Practice by Brand: CRC Press

Buy Now:
Data Flow Analysis: Theory and Practice

Brand: Brand: CRC Press
4.2 out of 5 stars with 43 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$125.95
$89.47
You Save: 29%


Quantity:  

 


View More In Compilers.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Brand: CRC Press, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


sku: 9780817647049, mpn: 26030621, ean: 9780817647049, isbn: 081764704X,
Floating-point arithmetic is the most widely used way of implementing real-number arithmetic on modern computers. However, making such an arithmetic reliable and portable, yet fast, is a very difficult task. As a result, floating-point arithmetic is ...

mpn: 1, ean: 9783540223801, isbn: 3540223800,
This volume contains the proceedings of MPC 2004, the Seventh International Conference on the Mathematics of Program Construction. This series of c- ferences aims to promote the development of mathematical principles and te- niquesthataredemonstrably...

sku: 9780387255385, ean: 9780156060899, isbn: 0387255389,
Offers users the first resource guide that combines both the methodology and basics of SystemVerilog Addresses how all these pieces fit together and how they should be used to verify complex chips rapidly and thoroughly. Unique in its broad covera...

mpn: 21955059, ean: 9780387202488, isbn: 038720248X,
This second edition of Grune and Jacobs’ brilliant work presents new developments and discoveries that have been made in the field. Parsing, also referred to as syntax analysis, has been and continues to be an essential part of computer science and...

ean: 9780262011532, isbn: 0262011530,



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.