Static Analysis [electronic resource] :12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings / edited by Chris Hankin, Igor Siveroni.
by Hankin, Chris [editor.]; Siveroni, Igor [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 3672Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.Description: X, 369 p. Also available online. online resource.ISBN: 9783540319719.Subject(s): Computer science | Software engineering | Logic design | Computer Science | Programming Languages, Compilers, Interpreters | Programming Techniques | Software Engineering | Logics and Meanings of Programs | Mathematical Logic and Formal LanguagesDDC classification: 005.13 Online resources: Click here to access online | Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| QA76.76.C65 (Browse shelf) | Available | ||||
| Long Loan | MAIN LIBRARY | QA76.7-76.73 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
| TA1637-1638 Discrete Geometry for Computer Imagery | TK5105.5-5105.9 Passive and Active Network Measurement | TK5105.5-5105.9 Systems Aspects in Organic and Pervasive Computing - ARCS 2005 | QA76.7-76.73 Static Analysis | TK5105.5-5105.9 Communications and Multimedia Security | Q334-342 Knowledge-Based Intelligent Information and Engineering Systems | Q334-342 Knowledge-Based Intelligent Information and Engineering Systems |
Invited Talks -- Algorithmic Game Semantics and Static Analysis -- From Typed Process Calculi to Source-Based Security -- Contributed Papers -- Widening Operators for Weakly-Relational Numeric Abstractions -- Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra -- Inference of Well-Typings for Logic Programs with Application to Termination Analysis -- Memory Space Conscious Loop Iteration Duplication for Reliable Execution -- Memory Usage Verification for OO Programs -- Abstraction Refinement for Termination -- Data-Abstraction Refinement: A Game Semantic Approach -- Locality-Based Abstractions -- Type-Safe Optimisation of Plugin Architectures -- Using Dependent Types to Certify the Safety of Assembly Code -- The PER Model of Abstract Non-interference -- A Relational Abstraction for Functions -- Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis -- Banshee: A Scalable Constraint-Based Analysis Toolkit -- A Generic Framework for Interprocedural Analysis of Numerical Properties -- Finding Basic Block and Variable Correspondence -- Boolean Heaps -- Interprocedural Shape Analysis for Cutpoint-Free Programs -- Understanding the Origin of Alarms in Astrée -- Pair-Sharing Analysis of Object-Oriented Programs -- Exploiting Sparsity in Polyhedral Analysis -- Secure Information Flow as a Safety Problem.
This book constitutes the refereed proceedings of the 12th International Symposium on Static Analysis, SAS 2005, held in London, UK in August 2005, co-located with the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2005). The 22 revised full papers presented together with the abstracts of 2 invited talks were carefully reviewed and selected from 66 submissions. The papers address all aspects of static analysis including program and systems verification, shape analysis and logic, termination analysis, security and safety, abstract interpretation and algorithms, abstract domain and data structures, pointer analysis, shape analysis, and data flow analysis.
There are no comments for this item.