Inhaltsverzeichnis
Invited Talks. - Injecting Life with Computers. - The Blast Query Language for Software Verification. - Program Generators and the Tools to Make Them. - Towards Declarative Programming for Web Services. - Program and System Verification. - Closed and Logical Relations for Over- and Under-Approximation of Powersets. - Completeness Refinement in Abstract Symbolic Trajectory Evaluation. - Constraint-Based Linear-Relations Analysis. - Spatial Analysis of BioAmbients. - Security and Safety. - Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language. - Information Flow Analysis in Logical Form. - Type Inference Against Races. - Pointer Analysis. - Pointer-Range Analysis. - A Scalable Nonuniform Pointer Analysis for Embedded Programs. - Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis. - Abstract Interpretation and Algorithms. - Abstract Interpretation of Combinational Asynchronous Circuits. - Static Analysis of Gated Data Dependence Graphs. - A Polynomial-Time Algorithm for Global Value Numbering. - Shape Analysis. - Quantitative Shape Analysis. - A Relational Approach to Interprocedural Shape Analysis. - Partially Disjunctive Heap Abstraction. - Abstract Domain and Data Structures. - An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants. - Approximating the Algebraic Relational Semantics of Imperative Programs. - The Octahedron Abstract Domain. - Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions. - Shape Analysis and Logic. - On Logics of Aliasing. - Generalized Records and Spatial Conjunction in Role Logic. - Termination Analysis. - Non-termination Inference for Constraint Logic Programs.
