Vor Ort
Merkzettel Warenkorb
  • Produktbild: Static Analysis
  • Produktbild: Static Analysis

Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

Aus der Reihe Programming and Software Engineering

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.08.2005

Herausgeber

Chris Hankin + weitere

Verlag

Springer Berlin

Seitenzahl

374

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

531 g

Auflage

2005

Sprache

Englisch

ISBN

978-3-540-28584-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

25.08.2005

Herausgeber

Verlag

Springer Berlin

Seitenzahl

374

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

531 g

Auflage

2005

Sprache

Englisch

ISBN

978-3-540-28584-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Static Analysis
  • Produktbild: Static Analysis
  • 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.