Static analysis 15th international symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings /
This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM SIGPL...
| Corporate Authors: | International Static Analysis Symposium Valencia, Spain) |
|---|---|
| Other Authors: | International Static Analysis Symposium, Alpuente, María., Vidal, Germán, SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2008.
Berlin ; New York : [2008] |
| Physical Description: |
1 online resource (x, 377 pages) : illustrations (some color). |
| Series: |
Lecture notes in computer science ;
5079. LNCS sublibrary. Programming and software engineering. |
| Subjects: |
Table of Contents:
- Invited Papers
- Transforming Abstract Interpretations by Abstract Interpretation
- Reflections on the Role of Static Analysis in Cooperative Bug Isolation
- Contributed Papers
- Relational Analysis of Correlation
- Convex Hull of Arithmetic Automata
- Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors
- Protocol Inference Using Static Path Profiles
- Solving Multiple Dataflow Queries Using WPDSs
- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA
- Typing Linear Constraints for Moding CLP() Programs
- On Polymorphic Recursion, Type Systems, and Abstract Interpretation
- Modal Abstractions of Concurrent Behaviour
- Hiding Software Watermarks in Loop Structures
- Inferring Min and Max Invariants Using Max-Plus Polyhedra
- Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors
- Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis
- SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement
- Flow Analysis, Linearity, and PTIME
- Quantum Entanglement Analysis Based on Abstract Interpretation
- Language Strength Reduction
- Analysing All Polynomial Equations in
- Splitting the Control Flow with Boolean Flags
- Reasoning about Control Flow in the Presence of Transient Faults
- A Calculational Approach to Control-Flow Analysis by Abstract Interpretation
- Heap Decomposition for Concurrent Shape Analysis.