Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings / / Chris Hankin, Igor Siveroni (eds.)
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings / / Chris Hankin, Igor Siveroni (eds.)
|
| Pubblicazione: | Berlin ; ; New York, : Springer, c2005 |
| Edizione: | 1st ed. 2005. |
| Descrizione fisica: | 1 online resource (X, 374 p.) |
| Disciplina: | 005.1/3 |
| Soggetto topico: | Computer programming |
| Programming languages (Electronic computers) | |
| Altri autori: |
HankinChris
SiveroniIgor
|
| Note generali: | "12th International Static Analysis Symposium ... held ... at Imperial College London"--Pref. |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | 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. |
| Altri titoli varianti: | SAS 2005 |
| Titolo autorizzato: | Static analysis |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910484626403321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture notes in computer science ; ; 3672.