↓ 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 by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT
  3. Altmetric Badge
    Chapter 2 Static Analysis in the Continuously Changing World
  4. Altmetric Badge
    Chapter 3 Abstract Interpretation over Non-lattice Abstract Domains
  5. Altmetric Badge
    Chapter 4 Localizing Widening and Narrowing
  6. Altmetric Badge
    Chapter 5 The Abstract Domain of Segmented Ranking Functions
  7. Altmetric Badge
    Chapter 6 Symbolic Automata for Static Specification Mining
  8. Altmetric Badge
    Chapter 7 Predicate Abstraction for Relaxed Memory Models
  9. Altmetric Badge
    Chapter 8 On Solving Universally Quantified Horn Clauses
  10. Altmetric Badge
    Chapter 9 From Concrete Examples to Heap Manipulating Programs
  11. Altmetric Badge
    Chapter 10 Static Analysis
  12. Altmetric Badge
    Chapter 11 Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists
  13. Altmetric Badge
    Chapter 12 Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing
  14. Altmetric Badge
    Chapter 13 Byte-Precise Verification of Low-Level List Manipulation
  15. Altmetric Badge
    Chapter 14 Abstract Semantic Differencing for Numerical Programs
  16. Altmetric Badge
    Chapter 15 Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation
  17. Altmetric Badge
    Chapter 16 Automatic Synthesis of Deterministic Concurrency
  18. Altmetric Badge
    Chapter 17 Witnessing Program Transformations
  19. Altmetric Badge
    Chapter 18 Formal Verification of a C Value Analysis Based on Abstract Interpretation
  20. Altmetric Badge
    Chapter 19 Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra
  21. Altmetric Badge
    Chapter 20 Static Provenance Verification for Message Passing Programs
  22. Altmetric Badge
    Chapter 21 Verification as Learning Geometric Concepts
  23. Altmetric Badge
    Chapter 22 Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL
  24. Altmetric Badge
    Chapter 23 Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation
  25. Altmetric Badge
    Chapter 24 Automatic Verification of Erlang-Style Concurrency
  26. Altmetric Badge
    Chapter 25 Contextual Locking for Dynamic Pushdown Networks
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
facebook
1 Facebook page

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
3 Mendeley
Summary X Facebook Dimensions citations
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, June 2013
DOI 10.1007/978-3-642-38856-9
ISBNs
978-3-64-238855-2, 978-3-64-238856-9
Editors

Logozzo, Francesco, Fähndrich, Manuel

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.