Titlebook: Static Analysis; 10th International S Radhia Cousot Conference proceedings 2003 Springer-Verlag Berlin Heidelberg 2003 Factor.Interrupt.Man

记忆

MIRTH

Type Systems for Distributed Data Sharings of accesses are allowed in the application programs and implicit constraints on how the language may be implemented. This paper develops a basis for understanding the design space of these sharing formalisms, and codifies that understanding in a suite of type checking/inference systems that illustrate the trade-offs among various models.

彩色

Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximationsy. This paper demonstrates that z-ranking applies to a range of program checking problems and that it performs up to an order of magnitude better than randomized ranking. Further, it has transformed previously unusable analysis tools into effective program error finders.

GROUP

Checking Interference with Fractional Permissionswrite permission afterwards. We give an operational semantics of a simple imperative language with structured parallelism and prove that the permission system enables parallelism to proceed with deterministic results.

Boycott

Client-Driven Pointer Analysisn producing results as accurate as fixed-precision algorithms that are many times more costly. Our algorithm works because many client problems only need a small amount of extra precision applied to the right places in each input program.

GRIPE

Message Analysis for Concurrent Languageso discover most data which is to be used as a message, and to allow the allocation scheme to combine the best performance characteristics of both a process-centric and a shared-heap memory architecture.

通知

Program Development Using Abstract Interpretation (And the Ciao System Preprocessor)procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable i

Paleontology

Craig Interpolation and Reachability Analysised relative to a property may allow convergence in cases where an exact analysis would diverge..This approach could have applications in software verification, as an alternative or adjunct to predicate abstraction, and to verification of “infinite state” systems in general.

不妥协

Precise Widening Operators for Convex Polyhedrant a framework for the systematic definition of new and precise widening operators for convex polyhedra. The framework is then instantiated so as to obtain a new widening operator that combines several heuristics and uses the standard widening as a last resort so that it is never less precise. A pre

词汇表