Data Flow Analysis: Theory and Practice - Image 1

View at Amazon ↗

£81.56

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

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

CRC Press Data Flow Analysis: Theory and Practice

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

Architecture & Microprocessors

Price Distribution

Price distribution over 77 days • 6 price levels

Days at Price

Current Price

Price Analysis

Most common price: £82 (22 days, 28.6%)

Price range: £82 - £122

Price levels: 6 different prices over 77 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

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

CRC Press Data Flow Analysis: Theory and Practice

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

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)

Value-Range Analysis of C Programs - Buffer Overflow Security

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

Apress Low-Level Programming: C, Assembly, and Intel 64 Book

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

Parallel Machines: Hybrid Dataflow Computer Architectures - Volume 96

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

Modern Assembly Language Programming with the ARM Processor

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

CRC Press Data Flow Analysis: Theory and Practice

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

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)

Value-Range Analysis of C Programs - Buffer Overflow Security

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

Apress Low-Level Programming: C, Assembly, and Intel 64 Book

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

Parallel Machines: Hybrid Dataflow Computer Architectures - Volume 96

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

Modern Assembly Language Programming with the ARM Processor