↓ Skip to main content

Static Analysis

Overview of attention for book
Cover of 'Static Analysis'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Static Analysis of Non-interference in Expressive Low-Level Languages
  3. Altmetric Badge
    Chapter 2 Static Analysis with Set-Closure in Secrecy
  4. Altmetric Badge
    Chapter 3 A Binary Decision Tree Abstract Domain Functor
  5. Altmetric Badge
    Chapter 4 Precise Data Flow Analysis in the Presence of Correlated Method Calls
  6. Altmetric Badge
    Chapter 5 May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization
  7. Altmetric Badge
    Chapter 6 Shape Analysis for Unstructured Sharing
  8. Altmetric Badge
    Chapter 7 Synthesizing Heap Manipulations via Integer Linear Programming
  9. Altmetric Badge
    Chapter 8 Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR
  10. Altmetric Badge
    Chapter 9 Safety Verification and Refutation by k-Invariants and k-Induction
  11. Altmetric Badge
    Chapter 10 Effective Soundness-Guided Reflection Analysis
  12. Altmetric Badge
    Chapter 11 SJS: A Type System for JavaScript with Fixed Object Layout
  13. Altmetric Badge
    Chapter 12 Refinement Type Inference via Horn Constraint Optimization
  14. Altmetric Badge
    Chapter 13 A Simple Abstraction of Arrays and Maps by Program Translation
  15. Altmetric Badge
    Chapter 14 Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization
  16. Altmetric Badge
    Chapter 15 Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis
  17. Altmetric Badge
    Chapter 16 Parallel Cost Analysis of Distributed Systems
  18. Altmetric Badge
    Chapter 17 A Forward Analysis for Recurrent Sets
  19. Altmetric Badge
    Chapter 18 Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
4 X users
wikipedia
1 Wikipedia page

Readers on

mendeley
15 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Static Analysis
Published by
Springer, Berlin, Heidelberg, January 2015
DOI 10.1007/978-3-662-48288-9
ISBNs
978-3-66-248287-2, 978-3-66-248288-9
Editors

Sandrine Blazy, Thomas Jensen

X Demographics

X Demographics

The data shown below were collected from the profiles of 4 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 15 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 15 100%

Demographic breakdown

Readers by professional status Count As %
Professor 1 7%
Unknown 14 93%
Readers by discipline Count As %
Computer Science 1 7%
Unknown 14 93%