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

£44.99

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

Name: Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization: 2628 (Lecture Notes in Computer Science, 2628)
Brand: Springer
Price: 44.99 GBP
Availability: InStock

Architecture & Microprocessors

This is the most expensive it has ever been. Walk away.

£45 today · previous high £45 · all-time low £40

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 636 days • 636 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 636 days • 5 price levels

Days at Price

Current Price

Price Analysis

Most common price: £45 (153 days, 24.1%)

Price range: £41 - £45

Price levels: 5 different prices over 636 days

Description

The objective of program analysis is to automatically determine the p- perties of a program. Tools of software development, such as compilers, p- formance estimators, debuggers, reverse-engineering tools, program veri?- tion/testing/proving systems, program comprehension systems, and program specializationtoolsarelargelydependentonprogramanalysis. Advancedp- gram analysis can: help to ?nd program errors; detect and tune performan- critical code regions; ensure assumed constraints on data are not violated; tailor a generic program to suit a speci?c application; reverse-engineer so- ware modules, etc. A prominent program analysis technique is symbolic a- lysis, which has attracted substantial attention for many years as it is not dependent on executing a program to examine the semantics of a program, and it can yield very elegant formulations of many analyses. Moreover, the complexity of symbolic analysis can be largely independent of the input data size of a program and of the size of the machine on which the program is being executed. In this book we present novel symbolic control and data ?ow repres- tation techniques as well as symbolic techniques and algorithms to analyze and optimize programs. Program contexts which de?ne a new symbolic - scription of program semantics for control and data ?ow analysis are at the center of our approach. We have solved a number of problems encountered in program analysis by using program contexts. Our solution methods are e?cient, versatile, uni?ed, and more general (they cope with regular and irregular codes) than most existing methods.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3540011854
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 07 April 2003
Listed Since: 13 December 2006

Barcode

No barcode data available

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

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Essentials of Programming Languages 3e (OIP) (The MIT Press)

Shape Analysis (Foundations and Trends® in Programming Languages)

Programming Language Implementation: A Practical Introduction with Python

Principles of Program Analysis

Operations Research mit BASIC auf Commodore 2000/3000, 4000/8000: 12 vollständige Programme

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

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

Springer - Value-Range Analysis of C Programs Book

Meta-Programming and Model-Driven Meta-Program Development: Principles, Processes and Techniques (Advanced Information and Knowledge Processing)

Springer - Source Code Optimization for Embedded Software

A Programming Approach to Computability (Monographs in Computer Science)

Source Code Optimization Techniques for Data Flow Dominated Embedded Software

Understanding Programming Languages

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation (Foundations and Trends(r) in Programming Languages)

Thinking About Programs (ACM Books)

Programming Language Explorations

Transitions and Trees: An Introduction to Structural Operational Semantics

Systematic Program Design: From Clarity to Efficiency

Programming Language Explorations

Transitions and Trees: An Introduction to Structural Operational Semantics

Novice Programming Environments: Explorations in Human-Computer Interaction and Artificial Intelligence (Routledge Library Editions: Artificial Intelligence)

Introduction to Programming Languages

Common Lisp Recipes: A Problem-Solution Approach