Proceedings of the 10th International Static Analysis Symposium
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

PLT
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.