Static Analysis

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Precise Analysis of String Expressions
3. Altmetric Badge
   Chapter 2 Modular Class Analysis with DATALOG
4. Altmetric Badge
   Chapter 3 Class-Level Modular Analysis for Object Oriented Languages
5. Altmetric Badge
   Chapter 4 Checking Interference with Fractional Permissions
6. Altmetric Badge
   Chapter 5 Message Analysis for Concurrent Languages
7. Altmetric Badge
   Chapter 6 Instantaneous Termination in Pure Esterel
8. Altmetric Badge
   Chapter 7 Stack Size Analysis for Interrupt-Driven Programs
9. Altmetric Badge
   Chapter 8 Program Development Using Abstract Interpretation (And the Ciao System Preprocessor)
10. Altmetric Badge
    Chapter 9 Selective Tail Call Elimination
11. Altmetric Badge
    Chapter 10 Inserting Safe Memory Reuse Commands into ML-Like Programs
12. Altmetric Badge
    Chapter 11 Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis
13. Altmetric Badge
    Chapter 12 Client-Driven Pointer Analysis
14. Altmetric Badge
    Chapter 13 Abstract Interpretation of Programs as Markov Decision Processes
15. Altmetric Badge
    Chapter 14 A Logic for Analyzing Abstractions of Graph Transformation Systems
16. Altmetric Badge
    Chapter 15 Type Systems for Distributed Data Sharing
17. Altmetric Badge
    Chapter 16 Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations
18. Altmetric Badge
    Chapter 17 Computer-Assisted Verification of a Protocol for Certified Email
19. Altmetric Badge
    Chapter 18 Craig Interpolation and Reachability Analysis
20. Altmetric Badge
    Chapter 19 Precise Widening Operators for Convex Polyhedra
21. Altmetric Badge
    Chapter 20 Cartesian Factoring of Polyhedra in Linear Relation Analysis
22. Altmetric Badge
    Chapter 21 Continuation-Based Partial Evaluation without Continuations
23. Altmetric Badge
    Chapter 22 Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications
24. Altmetric Badge
    Chapter 23 Code Compaction of Matching Single-Entry Multiple-Exit Regions
25. Altmetric Badge
    Chapter 24 Existential Heap Abstraction Entailment Is Undecidable
26. Altmetric Badge
    Chapter 25 Typestate Verification: Abstraction Techniques and Complexity Results
27. Altmetric Badge
    Chapter 26 Static Analysis of Accessed Regions in Recursive Data Structures
28. Altmetric Badge
    Chapter 27 Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management