Vor Ort
Merkzettel Warenkorb
Produktbild: Static Analysis

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings

Aus der Reihe Programming and Software Engineering

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.07.2008

Abbildungen

X, 379 p.

Herausgeber

María Alpuente + weitere

Verlag

Springer Berlin

Seitenzahl

379

Maße (L/B/H)

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

Gewicht

598 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-69163-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.07.2008

Abbildungen

X, 379 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

379

Maße (L/B/H)

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

Gewicht

598 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-69163-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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
  • Invited Papers.- Transforming Abstract Interpretations by Abstract Interpretation.- Reflections on the Role of Static Analysis in Cooperative Bug Isolation.- Contributed Papers.- Relational Analysis of Correlation.- Convex Hull of Arithmetic Automata.- Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors.- Protocol Inference Using Static Path Profiles.- Solving Multiple Dataflow Queries Using WPDSs.- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA.- Typing Linear Constraints for Moding CLP( ) Programs.- On Polymorphic Recursion, Type Systems, and Abstract Interpretation.- Modal Abstractions of Concurrent Behaviour.- Hiding Software Watermarks in Loop Structures.- Inferring Min and Max Invariants Using Max-Plus Polyhedra.- Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors.- Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis.- SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement.- Flow Analysis, Linearity, and PTIME.- Quantum Entanglement Analysis Based on Abstract Interpretation.- Language Strength Reduction.- Analysing All Polynomial Equations in .- Splitting the Control Flow with Boolean Flags.- Reasoning about Control Flow in the Presence of Transient Faults.- A Calculational Approach to Control-Flow Analysis by Abstract Interpretation.- Heap Decomposition for Concurrent Shape Analysis.