Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Algorithmic Game Semantics and Static Analysis
3. Altmetric Badge
   Chapter 2 From Typed Process Calculi to Source-Based Security
4. Altmetric Badge
   Chapter 3 Widening Operators for Weakly-Relational Numeric Abstractions
5. Altmetric Badge
   Chapter 4 Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
6. Altmetric Badge
   Chapter 5 Inference of Well-Typings for Logic Programs with Application to Termination Analysis
7. Altmetric Badge
   Chapter 6 Memory Space Conscious Loop Iteration Duplication for Reliable Execution
8. Altmetric Badge
   Chapter 7 Memory Usage Verification for OO Programs
9. Altmetric Badge
   Chapter 8 Abstraction Refinement for Termination
10. Altmetric Badge
    Chapter 9 Data-Abstraction Refinement: A Game Semantic Approach
11. Altmetric Badge
    Chapter 10 Locality-Based Abstractions
12. Altmetric Badge
    Chapter 11 Type-Safe Optimisation of Plugin Architectures
13. Altmetric Badge
    Chapter 12 Using Dependent Types to Certify the Safety of Assembly Code
14. Altmetric Badge
    Chapter 13 The PER Model of Abstract Non-interference
15. Altmetric Badge
    Chapter 14 A Relational Abstraction for Functions
16. Altmetric Badge
    Chapter 15 Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis
17. Altmetric Badge
    Chapter 16 Banshee: A Scalable Constraint-Based Analysis Toolkit
18. Altmetric Badge
    Chapter 17 A Generic Framework for Interprocedural Analysis of Numerical Properties
19. Altmetric Badge
    Chapter 18 Static Analysis
20. Altmetric Badge
    Chapter 19 Boolean Heaps
21. Altmetric Badge
    Chapter 20 Interprocedural Shape Analysis for Cutpoint-Free Programs
22. Altmetric Badge
    Chapter 21 Understanding the Origin of Alarms in Astrée
23. Altmetric Badge
    Chapter 22 Pair-Sharing Analysis of Object-Oriented Programs
24. Altmetric Badge
    Chapter 23 Exploiting Sparsity in Polyhedral Analysis
25. Altmetric Badge
    Chapter 24 Secure Information Flow as a Safety Problem