Static Analysis

11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings

Editors:

ISBN: 978-3-540-22791-5 (Print) 978-3-540-27864-1 (Online)

Table of contents (27 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Invited Talks

    1. No Access

      Book Chapter

      Pages 1-1

      Injecting Life with Computers

    2. No Access

      Book Chapter

      Pages 2-18

      The Blast Query Language for Software Verification

    3. No Access

      Book Chapter

      Pages 19-20

      Program Generators and the Tools to Make Them

    4. No Access

      Book Chapter

      Pages 21-21

      Towards Declarative Programming for Web Services

  3. Program and System Verification

    1. No Access

      Book Chapter

      Pages 22-37

      Closed and Logical Relations for Over- and Under-Approximation of Powersets

    2. No Access

      Book Chapter

      Pages 38-52

      Completeness Refinement in Abstract Symbolic Trajectory Evaluation

    3. No Access

      Book Chapter

      Pages 53-68

      Constraint-Based Linear-Relations Analysis

    4. No Access

      Book Chapter

      Pages 69-83

      Spatial Analysis of BioAmbients

  4. Security and Safety

    1. No Access

      Book Chapter

      Pages 84-99

      Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language

    2. No Access

      Book Chapter

      Pages 100-115

      Information Flow Analysis in Logical Form

    3. No Access

      Book Chapter

      Pages 116-132

      Type Inference Against Races

  5. Pointer Analysis

    1. No Access

      Book Chapter

      Pages 133-148

      Pointer-Range Analysis

    2. No Access

      Book Chapter

      Pages 149-164

      A Scalable Nonuniform Pointer Analysis for Embedded Programs

    3. No Access

      Book Chapter

      Pages 165-180

      Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis

  6. Abstract Interpretation and Algorithms

    1. No Access

      Book Chapter

      Pages 181-196

      Abstract Interpretation of Combinational Asynchronous Circuits

    2. No Access

      Book Chapter

      Pages 197-211

      Static Analysis of Gated Data Dependence Graphs

    3. No Access

      Book Chapter

      Pages 212-227

      A Polynomial-Time Algorithm for Global Value Numbering

  7. Shape Analysis

    1. No Access

      Book Chapter

      Pages 228-245

      Quantitative Shape Analysis

    2. No Access

      Book Chapter

      Pages 246-264

      A Relational Approach to Interprocedural Shape Analysis

    3. No Access

      Book Chapter

      Pages 265-279

      Partially Disjunctive Heap Abstraction

previous Page of 2