Roberto Giacobazzi
Proceedings of the 11th International Static Analysis Symposium
SAS, 2004.

@proceedings{SAS-2004,
	address       = "Verona, Italy",
	editor        = "Roberto Giacobazzi",
	isbn          = "3-540-22791-1",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 11th International Static Analysis Symposium}",
	volume        = 3148,
	year          = 2004,
}

Contents (27 items)

9 ×#analysis
4 ×#logic
3 ×#constraints
3 ×#data flow
3 ×#source code
2 ×#abstract interpretation
2 ×#approach
2 ×#approximate
2 ×#generative
2 ×#pointer

SAS-2004-Shapiro #injection

Injecting Life with Computers (EYS), p. 1.

SAS-2004-BeyerCHJM #query #verification

The Blast Query Language for Software Verification. (DB, AC, TAH, RJ, RM), pp. 2–18.

SAS-2004-Smaragdakis #generative #tool support

Program Generators and the Tools to Make Them (YS), pp. 19–20.

SAS-2004-McIlraith #declarative #programming #towards #web #web service

Towards Declarative Programming for Web Services (SAM), p. 21.

SAS-2004-Schmidt #approximate #logic

Closed and Logical Relations for Over- and Under-Approximation of Powersets (DAS), pp. 22–37.

SAS-2004-Preda #evaluation #refinement

Completeness Refinement in Abstract Symbolic Trajectory Evaluation (MDP), pp. 38–52.

SAS-2004-SankaranarayananSM #analysis #constraints

Constraint-Based Linear-Relations Analysis (SS, HBS, ZM), pp. 53–68.

SAS-2004-NielsonNP #analysis

Spatial Analysis of BioAmbients (HRN, FN, HP), pp. 69–83.

SAS-2004-SunBN #composition #constraints #data flow #object-oriented

Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language (QS, AB, DAN), pp. 84–99.

SAS-2004-AmtoftB #analysis #data flow #logic

Information Flow Analysis in Logical Form (TA, AB), pp. 100–115.

SAS-2004-FlanaganF #type inference

Type Inference Against Races (CF, SNF), pp. 116–132.

SAS-2004-YongH #analysis

Pointer-Range Analysis (SHY, SH), pp. 133–148.

SAS-2004-Venet #analysis #embedded #pointer #scalability #source code

A Scalable Nonuniform Pointer Analysis for Embedded Programs (AV), pp. 149–164.

SAS-2004-NystromKH #analysis #bottom-up #pointer #top-down

Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis (EMN, HSK, WmWH), pp. 165–180.

SAS-2004-ThompsonM #abstract interpretation

Abstract Interpretation of Combinational Asynchronous Circuits (ST, AM), pp. 181–196.

SAS-2004-HymansU #data flow #dependence #graph #static analysis

Static Analysis of Gated Data Dependence Graphs (CH, EU), pp. 197–211.

SAS-2004-GulwaniN #algorithm #polynomial

A Polynomial-Time Algorithm for Global Value Numbering (SG, GCN), pp. 212–227.

SAS-2004-Rugina #analysis

Shape Analysis Quantitative Shape Analysis (RR), pp. 228–245.

SAS-2004-JeannetLRS #analysis #approach #interprocedural #relational

A Relational Approach to Interprocedural Shape Analysis (BJ, AL, TWR, SS), pp. 246–264.

SAS-2004-ManevichSRF #abstraction

Partially Disjunctive Heap Abstraction (RM, SS, GR, JF), pp. 265–279.

SAS-2004-Rodriguez-CarbonellK #abstract interpretation #approach #automation #generative #invariant #polynomial

An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants (ERC, DK), pp. 280–295.

SAS-2004-Colon #algebra #approximate #imperative #relational #semantics #source code

Approximating the Algebraic Relational Semantics of Imperative Programs (MC), pp. 296–311.

SAS-2004-ClarisoC #abstract domain

The Octahedron Abstract Domain (RC, JC), pp. 312–327.

SAS-2004-GulwaniN04a #analysis #linear

Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions (SG, GCN), pp. 328–343.

SAS-2004-BozgaIL #alias #logic #on the

On Logics of Aliasing (MB, RI, YL), pp. 344–360.

SAS-2004-KuncakR #logic

Generalized Records and Spatial Conjunction in Role Logic (VK, MCR), pp. 361–376.

SAS-2004-PayetM #constraints #logic programming #source code

Non-termination Inference for Constraint Logic Programs (ÉP, FM), pp. 377–392.