Willkommen, schön sind Sie da!
Logo Ex Libris

Static Analysis

  • E-Book (pdf)
  • 510 Seiten
(0) Erste Bewertung abgeben
Bewertungen & Rezensionen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Inhalt Static Analysis of Object-Oriented Languages.- Precise Analysis of String Expressions.- Modular Class Analysis with DATALOG... Weiterlesen
CHF 133.50
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

Inhalt

Static Analysis of Object-Oriented Languages.- Precise Analysis of String Expressions.- Modular Class Analysis with DATALOG.- Class-Level Modular Analysis for Object Oriented Languages.- Static Analysis of Concurrent Languages.- Checking Interference with Fractional Permissions.- Message Analysis for Concurrent Languages.- Instantaneous Termination in Pure Esterel.- Stack Size Analysis for Interrupt-Driven Programs.- Invited Paper.- Program Development Using Abstract Interpretation (And the Ciao System Preprocessor).- Static Analysis of Functional Languages.- Selective Tail Call Elimination.- Inserting Safe Memory Reuse Commands into ML-Like Programs.- Static Analysis of Procedural Languages.- Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis.- Client-Driven Pointer Analysis.- Abstract Interpretation of Programs as Markov Decision Processes.- Static Data Analysis.- A Logic for Analyzing Abstractions of Graph Transformation Systems.- Type Systems for Distributed Data Sharing.- Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations.- Computer-Assisted Verification of a Protocol for Certified Email.- Invited Talk.- Craig Interpolation and Reachability Analysis.- Static Linear Relation Analysis.- Precise Widening Operators for Convex Polyhedra.- Cartesian Factoring of Polyhedra in Linear Relation Analysis.- Static Analysis Based Program Transformation.- Continuation-Based Partial Evaluation without Continuations.- Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications.- Code Compaction of Matching Single-Entry Multiple-Exit Regions.- Static Heap Analysis.- Existential Heap Abstraction Entailment Is Undecidable.- Typestate Verification: Abstraction Techniques and Complexity Results.- Static Analysis of Accessed Regions in Recursive Data Structures.- Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management.

Produktinformationen

Titel: Static Analysis
Untertitel: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
Editor:
EAN: 9783540448983
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: Programmiersprachen
Veröffentlichung: 03.08.2003
Digitaler Kopierschutz: Wasserzeichen
Anzahl Seiten: 510

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"

Band 2694
Sie sind hier.