Vai al contenuto principale della pagina
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 |