This book constitutes 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.
Author(s): Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach (auth.), Radhia Cousot (eds.)
Series: Lecture Notes in Computer Science 2694
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003
Language: English
Pages: 510
Tags: Programming Languages, Compilers, Interpreters; Computer Science, general; Programming Techniques; Software Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages
Precise Analysis of String Expressions....Pages 1-18
Modular Class Analysis with DATALOG ....Pages 19-36
Class-Level Modular Analysis for Object Oriented Languages....Pages 37-54
Checking Interference with Fractional Permissions....Pages 55-72
Message Analysis for Concurrent Languages....Pages 73-90
Instantaneous Termination in Pure Esterel....Pages 91-108
Stack Size Analysis for Interrupt-Driven Programs....Pages 109-126
Program Development Using Abstract Interpretation (And the Ciao System Preprocessor)....Pages 127-152
Selective Tail Call Elimination....Pages 153-170
Inserting Safe Memory Reuse Commands into ML-Like Programs....Pages 171-188
Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis....Pages 189-213
Client-Driven Pointer Analysis....Pages 214-236
Abstract Interpretation of Programs as Markov Decision Processes....Pages 237-254
A Logic for Analyzing Abstractions of Graph Transformation Systems....Pages 255-272
Type Systems for Distributed Data Sharing....Pages 273-294
Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations....Pages 295-315
Computer-Assisted Verification of a Protocol for Certified Email....Pages 316-335
Craig Interpolation and Reachability Analysis....Pages 336-336
Precise Widening Operators for Convex Polyhedra....Pages 337-354
Cartesian Factoring of Polyhedra in Linear Relation Analysis....Pages 355-365
Continuation-Based Partial Evaluation without Continuations....Pages 366-382
Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications....Pages 383-400
Code Compaction of Matching Single-Entry Multiple-Exit Regions....Pages 401-417
Existential Heap Abstraction Entailment Is Undecidable....Pages 418-438
Typestate Verification: Abstraction Techniques and Complexity Results....Pages 439-462
Static Analysis of Accessed Regions in Recursive Data Structures....Pages 463-482
Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management....Pages 483-503
