↓ 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
Attention for Chapter 5: May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization
Altmetric Badge

Mentioned by

twitter
3 X users

Readers on

mendeley
4 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.
Chapter title
May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization
Chapter number 5
Book title
Static Analysis
Published by
Springer Berlin Heidelberg, September 2015
DOI 10.1007/978-3-662-48288-9_5
Book ISBNs
978-3-66-248287-2, 978-3-66-248288-9
Authors

Elvira Albert, Samir Genaim, Pablo Gordillo

X Demographics

X Demographics

The data shown below were collected from the profiles of 3 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 4 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 4 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 50%
Researcher 1 25%
Student > Doctoral Student 1 25%
Readers by discipline Count As %
Computer Science 4 100%