Static Analysis
11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
Published on 18. November 2004
XII, 396 pages
978-3-540-27864-1 (ISBN)
Description
More details
Other editions
Additional editions
Roberto Giacobazzi
Static Analysis
11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
Book
08/2004
Springer
€53.49
Shipment within 10-15 days
Content
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.
