↓ Skip to main content
What is this page? Embed badge

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 17: A Forward Analysis for Recurrent Sets
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
1 Mendeley
Summary X
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
A Forward Analysis for Recurrent Sets
Chapter number 17
Book title
Static Analysis
Published by
Springer Berlin Heidelberg, September 2015
DOI 10.1007/978-3-662-48288-9_17
Book ISBNs
978-3-66-248287-2, 978-3-66-248288-9
Authors

Alexey Bakhirkin, Josh Berdine, Nir Piterman

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.