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

Name: Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation (Foundations and Trends(r) in Programming Languages)
Brand: Now Publishers
Price: 82.5 GBP
Availability: OutOfStock

Introduction to Programming

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 47 days • 1 price levels

Days at Price

Price Analysis

Most common price: £83 (47 days, 100.0%)

Price range: £83 - £83

Price levels: 1 different prices over 47 days

Description

This monograph presents Abstract Interpretation and its use to create static analyzers that infer numeric properties on programs. Abstract Interpretation, born in the late 1970s, has proven a very effective method to construct static analyzers. It has led to successful program analysis tools like PolySpace Verifier (The Mathworks) and the Astrée analyzer (AbsInt): industrial tools that are routinely used in the avionic, automotive, and space industries to help ensure the correctness of mission-critical software. Automatically inferring numeric invariants can be used to prove the absence of run-time errors, such as arithmetic overflows and out-of-bound array accesses, before the program is even run, while achieving a full coverage of the control and data space.This monograph is based on several Master-level courses in Abstract Interpretation given by the author. It is intended as an entry course in Abstract Interpretation, after which the reader should be ready to read the research literature on current advances in Abstract Interpretation, as well as more practical articles on the design of industrial-strength static analyzers for real languages.

Product Specifications

Brand: Now Publishers
Format: Paperback
ASIN: 1680833863
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 28 February 2018
Listed Since: 11 December 2017

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Shape Analysis (Foundations and Trends® 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)

Thinking About Programs (ACM Books)

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Introduction to SystemVerilog

Introduction to Programming Languages

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

A Concrete Approach to Abstract Algebra: From the Integers to the Insolvability of the Quintic

Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs

A Programming Approach to Computability (Monographs in Computer Science)

Automatic Verification of Sequential Infinite-State Processes: 1354 (Lecture Notes in Computer Science, 1354)

Basic Analysis: Volumes I–V

Programming Languages: Principles and Paradigms (Undergraduate Topics in Computer Science)

Real-Time Systems: Scheduling, Analysis, and Verification

Springer - Value-Range Analysis of C Programs Book

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

Guide to Assembly Language: A Concise Introduction (Undergraduate Topics in Computer Science)

Build Your Own Programming Language: A programmer's guide to designing compilers, interpreters, and DSLs for solving modern computing problems

Formal Languages and Compilation (Texts in Computer Science)

Measuring Power of Algorithms, Programs and Automata

Modern X86 Assembly Language Programming: Covers x86 64-bit, AVX, AVX2, and AVX-512

Reasoning About Program Transformations: Imperative Programming and Flow of Data

Compiler Design: Analysis and Transformation