Verwandte Artikel zu Static Analysis: 10th International Symposium, Sas...
Static Analysis: 10th International Symposium, Sas 2003, San Diego, Ca, Usa, June 2003 Proceedings (Lecture Notes in Computer Science): 10th ... Notes in Computer Science, 2694, Band 2694) - Softcover
Inhaltsangabe
The refereed proceedings of the 10th International Symposium on Static Analysis, SAS 2003, held in San Diego, CA, USA in June 2003 as part of FCRC 2003. The 25 revised full papers presented together with two invited contributions were carefully reviewed and selected from 82 submissions. The papers are organized in topical sections on static analysis of object-oriented languages, static analysis of concurrent languages, static analysis of functional languages, static analysis of procedural languages, static data analysis, static linear relation analysis, static analysis based program transformation, and static heap analysis.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Static Analysis: 10th International Symposium, Sas...
Beispielbild für diese ISBN
Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings (Lecture Notes in Computer Science, 2694)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540403258_new
Neu kaufen
EUR 61,07
EUR 13,98 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Static Analysis
Verlag:
Springer Berlin Heidelberg Mai 2003, 2003
ISBN 10: 3540403256
ISBN 13: 9783540403258
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Therefereed proceedings of the 10th International Symposium on Static Analysis, SAS 2003, held in San Diego, CA, USA in June 2003 as part of FCRC 2003.The 25 revised full papers presented together with two invited contributions were carefully reviewed and selected from 82 submissions. The papers are organized in topical sections on static analysis ofobject-oriented languages, static analysis of concurrent languages, static analysis of functional languages, static analysis of procedural languages, static data analysis, static linear relation analysis, static analysis based program transformation, and static heap analysis. 524 pp. Englisch. Bestandsnummer des Verkäufers 9783540403258
Neu kaufen
EUR 53,49
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Static Analysis
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 524. Bestandsnummer des Verkäufers 263065070
Neu kaufen
EUR 82,16
EUR 3,41 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Static Analysis
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand pp. 524 Illus. Bestandsnummer des Verkäufers 5864241
Neu kaufen
EUR 81,44
EUR 7,59 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Static Analysis
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 524. Bestandsnummer des Verkäufers 183065060
Neu kaufen
EUR 82,91
EUR 9,95 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 4 verfügbar
Foto des Verkäufers
Static Analysis
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The refereed proceedings of the 10th International Symposium on Static Analysis, SAS 2003, held in San Diego, CA, USA in June 2003 as part of FCRC 2003.The 25 revised full papers presented together with two invited contributions were carefull. Bestandsnummer des Verkäufers 4888694
Neu kaufen
EUR 48,37
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Static Analysis
Verlag:
Springer, Springer Mai 2003, 2003
ISBN 10: 3540403256
ISBN 13: 9783540403258
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 andComplexity Results.- Static Analysis of Accessed Regions in Recursive Data Structures.- Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 524 pp. Englisch. Bestandsnummer des Verkäufers 9783540403258
Neu kaufen
EUR 53,49
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Static Analysis : 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Therefereed proceedings of the 10th International Symposium on Static Analysis, SAS 2003, held in San Diego, CA, USA in June 2003 as part of FCRC 2003.The 25 revised full papers presented together with two invited contributions were carefully reviewed and selected from 82 submissions. The papers are organized in topical sections on static analysis ofobject-oriented languages, static analysis of concurrent languages, static analysis of functional languages, static analysis of procedural languages, static data analysis, static linear relation analysis, static analysis based program transformation, and static heap analysis. Bestandsnummer des Verkäufers 9783540403258
Neu kaufen
EUR 53,49
EUR 63,93 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Static Analysis | 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
Print-on-DemandAnbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Static Analysis | 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings | Radhia Cousot | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2003 | Springer | EAN 9783540403258 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand. Bestandsnummer des Verkäufers 102527037
Neu kaufen
EUR 50,25
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar
Beispielbild für diese ISBN
Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings (Lecture Notes in Computer Science, 2694)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Bestandsnummer des Verkäufers ERICA79035404032566
Gebraucht kaufen
EUR 119,03
EUR 29,18 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar