Book Volume 7935 2013

Static Analysis

20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings


ISBN: 978-3-642-38855-2 (Print) 978-3-642-38856-9 (Online)

Table of contents (25 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Chapter

    Pages 1-3

    Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT

  3. Chapter

    Pages 4-5

    Static Analysis in the Continuously Changing World

  4. Chapter

    Pages 6-24

    Abstract Interpretation over Non-lattice Abstract Domains

  5. Chapter

    Pages 25-42

    Localizing Widening and Narrowing

  6. Chapter

    Pages 43-62

    The Abstract Domain of Segmented Ranking Functions

  7. Chapter

    Pages 63-83

    Symbolic Automata for Static Specification Mining

  8. Chapter

    Pages 84-104

    Predicate Abstraction for Relaxed Memory Models

  9. Chapter

    Pages 105-125

    On Solving Universally Quantified Horn Clauses

  10. Chapter

    Pages 126-149

    From Concrete Examples to Heap Manipulating Programs

  11. Chapter

    Pages 150-171

    Local Shape Analysis for Overlaid Data Structures

  12. Chapter

    Pages 172-193

    Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists

  13. Chapter

    Pages 194-214

    Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing

  14. Chapter

    Pages 215-237

    Byte-Precise Verification of Low-Level List Manipulation

  15. Chapter

    Pages 238-258

    Abstract Semantic Differencing for Numerical Programs

  16. Chapter

    Pages 259-282

    Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation

  17. Chapter

    Pages 283-303

    Automatic Synthesis of Deterministic Concurrency

  18. Chapter

    Pages 304-323

    Witnessing Program Transformations

  19. Chapter

    Pages 324-344

    Formal Verification of a C Value Analysis Based on Abstract Interpretation

  20. Chapter

    Pages 345-365

    Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra

  21. Chapter

    Pages 366-387

    Static Provenance Verification for Message Passing Programs

previous Page of 2