% SALE
Beschreibung
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.
Produktdetails
- Typ:
- Buch
- Einband:
- Taschenbuch
- Edition:
- 1
- Sprachen:
-
Original:
Englisch
- Seitenzahl:
-
388
- Herausgeber:
-
Springer
- Veröffentlichungsdatum:
-
2005-08-25
- Erscheinungsdatum:
-
2008-06-13
- ISBN / EAN:
-
9783540285847
- Gewicht:
-
587 g
- Maße:
-
16/24/2 cm
- GPSR-Herstellerreferenz:
-
[email protected]
Die gelieferte Auflage kann ggf. abweichen.
Gerade ausverkauft
Wieder da E-Mail
Auf den Merkzettel
