Vai al contenuto principale della pagina
Titolo: |
Static Analysis [[electronic resource] ] : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings / / edited by Chris Hankin, Igor Siveroni
![]() |
Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Edizione: | 1st ed. 2005. |
Descrizione fisica: | 1 online resource (X, 374 p.) |
Disciplina: | 005.1 |
Soggetto topico: | Software engineering |
Programming languages (Electronic computers) | |
Computer programming | |
Computer logic | |
Mathematical logic | |
Software Engineering/Programming and Operating Systems | |
Programming Languages, Compilers, Interpreters | |
Programming Techniques | |
Software Engineering | |
Logics and Meanings of Programs | |
Mathematical Logic and Formal Languages | |
Persona (resp. second.): | 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. |
Titolo autorizzato: | Static Analysis ![]() |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 996465561003316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |