Static Analysis

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives
3. Altmetric Badge
   Chapter 2 Static Analyses for Eliminating Unnecessary Synchronization from Java Programs
4. Altmetric Badge
   Chapter 3 Dynamic Partitioning in Analyses of Numerical Properties
5. Altmetric Badge
   Chapter 4 Polyhedral Analysis for Synchronous Languages
6. Altmetric Badge
   Chapter 5 Decomposing Non-redundant Sharing by Complementation
7. Altmetric Badge
   Chapter 6 Freeness Analysis Through Linear Refinement
8. Altmetric Badge
   Chapter 7 Binary Decision Graphs
9. Altmetric Badge
   Chapter 8 Binding-Time Analysis for Both Static and Dynamic Expressions
10. Altmetric Badge
    Chapter 9 Abstract Interpretation of Mobile Ambients
11. Altmetric Badge
    Chapter 10 Abstracting Cryptographic Protocols with Tree Automata
12. Altmetric Badge
    Chapter 11 State Space Reduction Based on Live Variables Analysis
13. Altmetric Badge
    Chapter 12 Partial Dead Code Elimination Using Extended Value Graph
14. Altmetric Badge
    Chapter 13 Translating Out of Static Single Assignment Form
15. Altmetric Badge
    Chapter 14 Eliminating Dead Code on Recursive Data
16. Altmetric Badge
    Chapter 15 Detecting Equalities of Variables: Combining Efficiency with Precision
17. Altmetric Badge
    Chapter 16 A New Class of Functions for Abstract Interpretation
18. Altmetric Badge
    Chapter 17 Equational Semantics
19. Altmetric Badge
    Chapter 18 Abstract Animator for Temporal Specifications: Application to TLA
20. Altmetric Badge
    Chapter 19 Static Analysis of Mega-Programs
21. Altmetric Badge
    Chapter 20 Safety versus Secrecy
22. Altmetric Badge
    Chapter 21 On the Complexity Analysis of Static Analyses
23. Altmetric Badge
    Chapter 22 Model-Checking
24. Altmetric Badge
    Chapter 23 Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis