Radhia Cousot
Proceedings of the 10th International Static Analysis Symposium
SAS, 2003.

@proceedings{SAS-2003,
	address       = "San Diego, California, USA",
	editor        = "Radhia Cousot",
	isbn          = "3-540-40325-6",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 10th International Static Analysis Symposium}",
	volume        = 2694,
	year          = 2003,
}

Contents (27 items)

9 ×#analysis
3 ×#abstraction
3 ×#source code
2 ×#abstract interpretation
2 ×#composition
2 ×#memory management
2 ×#precise
2 ×#static analysis
2 ×#type system
2 ×#using

SAS-2003-ChristensenMS #analysis #precise #string

Precise Analysis of String Expressions (ASC, AM, MIS), pp. 1–18.

SAS-2003-BessonJ #analysis #composition #datalog

Modular Class Analysis with DATALOG (FB, TPJ), pp. 19–36.

SAS-2003-Logozzo #analysis #composition #object-oriented

Class-Level Modular Analysis for Object Oriented Languages (FL), pp. 37–54.

SAS-2003-Boyland

Checking Interference with Fractional Permissions (JB), pp. 55–72.

SAS-2003-CarlssonSW #analysis #concurrent

Message Analysis for Concurrent Languages (RC, KFS, JW), pp. 73–90.

SAS-2003-TardieuS #termination

Instantaneous Termination in Pure Esterel (OT, RdS), pp. 91–108.

SAS-2003-ChatterjeeMMZHP #analysis #source code #stack

Stack Size Analysis for Interrupt-Driven Programs (KC, DM, RM, TZ, TAH, JP), pp. 109–126.

SAS-2003-HermenegildoPBL #abstract interpretation #development #preprocessor #using

Program Development Using Abstract Interpretation (And The Ciao System Preprocessor) (MVH, GP, FB, PLG), pp. 127–152.

SAS-2003-Minamide

Selective Tail Call Elimination (YM), pp. 153–170.

SAS-2003-LeeYY #memory management #reuse #source code

Inserting Safe Memory Reuse Commands into ML-Like Programs (OL, HY, KY), pp. 171–188.

SAS-2003-RepsSJ #analysis #automaton #data flow #interprocedural

Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis (TWR, SS, SJ), pp. 189–213.

SAS-2003-GuyerL #analysis #pointer

Client-Driven Pointer Analysis (SZG, CL), pp. 214–236.

SAS-2003-Monniaux #abstract interpretation #markov #process #source code

Abstract Interpretation of Programs as Markov Decision Processes (DM), pp. 237–254.

SAS-2003-BaldanKK #abstraction #graph transformation #logic

A Logic for Analyzing Abstractions of Graph Transformation Systems (PB, BK, BK), pp. 255–272.

SAS-2003-LiblitAY #distributed #type system

Type Systems for Distributed Data Sharing (BL, AA, KAY), pp. 273–294.

SAS-2003-KremenekE #approximate #named #static analysis #statistics #using

Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations (TK, DRE), pp. 295–315.

SAS-2003-AbadiB #email #protocol #verification

Computer-Assisted Verification of a Protocol for Certified Email (MA, BB), pp. 316–335.

SAS-2003-McMillan #analysis #reachability

Craig Interpolation and Reachability Analysis (KLM), p. 336.

SAS-2003-BagnaraHRZ #precise

Precise Widening Operators for Convex Polyhedra (RB, PMH, ER, EZ), pp. 337–354.

SAS-2003-HalbwachsMP #analysis #linear

Cartesian Factoring of Polyhedra in Linear Relation Analysis (NH, DM, CPV), pp. 355–365.

SAS-2003-Thiemann #continuation #partial evaluation

Continuation-Based Partial Evaluation without Continuations (PT), pp. 366–382.

SAS-2003-UnnikrishnanCKKK #requirements

Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications (PU, GC, MTK, MK, IK), pp. 383–400.

SAS-2003-ChenLG #multi

Code Compaction of Matching Single-Entry Multiple-Exit Regions (WKC, BL, RG), pp. 401–417.

SAS-2003-KuncakR #abstraction #decidability

Existential Heap Abstraction Entailment Is Undecidable (VK, MCR), pp. 418–438.

SAS-2003-FieldGRY #abstraction #complexity #type system #verification

Typestate Verification: Abstraction Techniques and Complexity Results (JF, DG, GR, EY), pp. 439–462.

SAS-2003-ChongR #data type #recursion #static analysis

Static Analysis of Accessed Regions in Recursive Data Structures (SC, RR), pp. 463–482.

SAS-2003-ShahamYKS #memory management #safety

Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management (RS, EY, EKK, SS), pp. 483–503.