Data Flow Analysis: Theory and Practice - Image 1

£81.17

CRC Press Data Flow Analysis: Theory and Practice

Name: Data Flow Analysis: Theory and Practice
Brand: CRC Press
Price: 81.17 GBP
Availability: InStock

Architecture & Microprocessors

It has never been this cheap. We have no record of a lower price.

£81 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 48 days • 48 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 48 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £129 (25 days, 52.1%)

Price range: £81 - £129

Price levels: 4 different prices over 48 days

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

Product Specifications

Brand: CRC Press
Format: hardcover
ASIN: 0849328802
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 27 March 2009
Listed Since: 30 December 2006

Barcode

No barcode data available

CRC Press Data Flow Analysis: Theory and Practice

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Source Code Optimization Techniques for Data Flow Dominated Embedded Software

Springer - Source Code Optimization for Embedded Software

Function/Architecture Optimization and Co-Design of Embedded Systems: 585 (The Springer International Series in Engineering and Computer Science, 585)

Optimizing Compilers for Modern Architectures: A Dependence-based Approach

Optimizing Compilers for Modern Architectures: A Dependence-based Approach

Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization: 2628 (Lecture Notes in Computer Science, 2628)

Shape Analysis (Foundations and Trends® in Programming Languages)

Springer - Value-Range Analysis of C Programs Book

From Fine- to Coarse-Grained Dynamic Information Flow Control and Back (Foundations and Trends® in Programming Languages)

Intelligent Speculative Compiler Optimizations: A Conceptual Framework and its Application to the Optimization of Memory Accesses

Retargetable Compilers for Embedded Core Processors: Methods and Experiences in Industrial Applications

Concepts and Semantics of Programming Languages 2: Modular and Object-oriented Constructs with OCaml, Python, C++, Ada and Java

Memory Management for Synthesis of DSP Software

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Foundations of Linux Debugging, Disassembling, and Reversing: Analyze Binary Code, Understand Stack Memory Usage, and Reconstruct C/C++ Code with Intel x64

Low-Level Programming: C, Assembly, and Program Execution on Intel® 64 Architecture

Application Analysis Tools for ASIP Design: Application Profiling and Instruction-set Customization

Readings in Computer Architecture (The Morgan Kaufmann Series in Computer Architecture and Design)

Code Generation ― Concepts, Tools, Techniques: Proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20–24 May 1991 (Workshops in Computing)

Programming Language Implementation: A Practical Introduction with Python

Springer Parallel Machine Languages - Computer Architecture Book

Modern Arm Assembly Language Programming: Covers Armv8-A 32-bit, 64-bit, and SIMD

A Knowledge-Based Approach to Program Understanding: 325 (The Springer International Series in Engineering and Computer Science, 325)

The Compiler Design Handbook: Optimizations and Machine Code Generation, Second Edition