Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Alpuente, María (Επιμελητής έκδοσης), Vidal, Germán (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Σειρά: Lecture Notes in Computer Science, 5079
• Θέματα: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Computer Science.; Software Engineering/Programming and Operating Systems.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Software Engineering.; Mathematical Logic and Formal Languages.; Programming Techniques.

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...

Πίνακας περιεχομένων:

• 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.