Now Publishers Inc Shape Analysis (Foundations and Trends® in Programming Languages)

Name: Shape Analysis (Foundations and Trends(R) in Programming Languages)
Brand: Now Publishers Inc
Price: 79.5 GBP
Availability: OutOfStock

Computer Science

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 41 days • 1 price levels

Days at Price

Price Analysis

Most common price: £80 (41 days, 100.0%)

Price range: £80 - £80

Price levels: 1 different prices over 41 days

Description

Shape analyses focusing on inferring highly complex properties of heap-manipulating programs are techniques used in the automatic verification of infinite-state programs.This survey provides a comprehensive introduction to the field of shape analysis, and presents the foundation of the topic in an accessible manner to readers who are not familiar with it. To do so, the authors characterize the essence of shape analysis compared to more classical pointer analyses as well as giving the intuition underlying the abstractions commonly used in shape analysis and the algorithms that allow to statically compute intricate semantic properties.The authors cover the main families of shape analysis abstraction and algorithms, highlight the similarities between them, and characterize the main differences between the most common approaches. Finally, the authors demonstrate the impact of the field by describing a few other static analysis works – array abstractions, dictionary abstractions and interprocedural analyses – that were influenced by the ideas of shape analysis.Researchers and students new to the concept of shape analysis will find this monograph a one-stop shop of information that will quickly get them up to speed on all aspects of the topic. With a comprehensive set of references, this accessible survey will enable the reader to adopt the techniques quickly in their own further research.

Product Specifications

Brand: Now Publishers Inc
Format: paperback
ASIN: 168083732X
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 05 October 2020
Listed Since: 30 September 2020

Barcode

No barcode data available

Now Publishers Inc Shape Analysis (Foundations and Trends® in Programming Languages)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

String Analysis for Software Verification and Security

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

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Formal Languages and Compilation (Texts in Computer Science)

Springer - Value-Range Analysis of C Programs Book

Language Computability and Formal Language Theory

QED at Large: A Survey of Engineering of Formally Verified Software (Foundations and Trends® in Programming Languages)

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

A Programmer's Companion to Algorithm Analysis

Formal System Verification: State-of the-Art and Future Trends

Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application

Real-Time Systems: Scheduling, Analysis, and Verification

Algorithmen - Eine Einführung

Principles of Model Checking

Handbook Of Graph Grammars And Computing By Graph Transformation, Vol 1: Foundations: 01

Semialgebraic Proofs and Efficient Algorithm Design (Foundations and Trends® in Theoretical Computer Science)

Reasoning About Program Transformations: Imperative Programming and Flow of Data

Scalable Hardware Verification with Symbolic Simulation

Springer Distributed Graph Analytics Programming and Languages

Functional Data Structures and Algorithms: A Proof Assistant Approach

Functional Data Structures and Algorithms: A Proof Assistant Approach

Compiler Design: Analysis and Transformation

Compiler Design: Analysis and Transformation