Manuel V. Hermenegildo, Germán Puebla
Proceedings of the Ninth International Static Analysis Symposium
SAS, 2002.

@proceedings{SAS-2002,
	address       = "Madrid, Spain",
	editor        = "Manuel V. Hermenegildo and Germán Puebla",
	isbn          = "3-540-44235-9",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Ninth International Static Analysis Symposium}",
	volume        = 2477,
	year          = 2002,
}

Contents (35 items)

9 ×#analysis
5 ×#abstract interpretation
4 ×#logic programming
4 ×#source code
3 ×#concurrent
3 ×#model checking
3 ×#representation
3 ×#security
3 ×#static analysis
3 ×#termination

SAS-2002-Reps #logic #program analysis

Static Program Analysis via 3-Valued Logic (TWR), p. 1.

SAS-2002-Hall #challenge #distributed #modelling #multi #research

Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges (RJH), p. 2.

SAS-2002-Esparza #algebra #approach #concurrent #static analysis

An Algebraic Approach to the Static Analysis of Concurrent Software (JE), p. 3.

SAS-2002-Muller-OlmS #decidability #polynomial

Polynomial Constants Are Decidable (MMO, HS), pp. 4–19.

SAS-2002-NielsonNS #horn clause #normalisation

Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi (FN, HRN, HS), pp. 20–35.

SAS-2002-Venet #alias #analysis #array #data type #recursion

Nonuniform Alias Analysis of Recursive Data Structures and Arrays (AV), pp. 36–51.

SAS-2002-Jeannet #abstract interpretation #approximate #data type #representation

Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes (BJ), pp. 52–68.

SAS-2002-Yavuz-KahveciB #automation #concurrent #verification

Automated Verification of Concurrent Linked Lists with Counters (TYK, TB), pp. 69–84.

SAS-2002-LuK #type checking #type inference

Backward Type Inference Generalises Type Checking (LL, AK), pp. 85–101.

SAS-2002-VaucheretB #logic programming #performance #precise #source code #type inference

More Precise Yet Efficient Type Inference for Logic Programs (CV, FB), pp. 102–116.

SAS-2002-Mine #abstract domain #graph #relational

A Few Graph-Based Relational Numerical Abstract Domains (AM), pp. 117–132.

SAS-2002-Martel #static analysis

Static Analysis of the Numerical Stability of Loops (MM), pp. 133–150.

SAS-2002-SerebrenikS #float #logic programming #on the #source code #termination

On Termination of Logic Programs with Floating Point Computations (AS, DDS), pp. 151–164.

SAS-2002-Probst #analysis #composition #control flow #library

Modular Control Flow Analysis for Libraries (CWP), pp. 165–179.

SAS-2002-WhaleyL #analysis #performance #points-to #strict

An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages (JW, MSL), pp. 180–195.

SAS-2002-ManevichRFGS #first-order #representation #static analysis

Compactly Representing First-Order Structures for Static Analysis (RM, GR, JF, DG, SS), pp. 196–212.

SAS-2002-BagnaraRZH #library

Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library (RB, ER, EZ, PMH), pp. 213–229.

SAS-2002-AdamsBDLRSW #analysis #data flow #pointer #using

Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis (SA, TB, MD, SL, SKR, MS, WW), pp. 230–246.

SAS-2002-Ruf #analysis #data flow #precise

Improving the Precision of Equality-Based Dataflow Analyses (ER), pp. 247–262.

SAS-2002-VeldhuizenL #compilation #optimisation #proving

Guaranteed Optimization: Proving Nullspace Properties of Compilers (TLV, AL), pp. 263–277.

SAS-2002-Faxen #analysis #representation

Representation Analysis for Coercion Placement (KFF), pp. 278–293.

SAS-2002-LangenbachTH #analysis #modelling #pipes and filters

Pipeline Modeling for Timing Analysis (ML, ST, RH), pp. 294–309.

SAS-2002-PierroHW #approximate

Analysing Approximate Confinement under Uniform Attacks (ADP, CH, HW), pp. 310–325.

SAS-2002-CorinE #constraints #protocol #security #verification

An Improved Constraint-Based System for the Verification of Security Protocols (RC, SE), pp. 326–341.

SAS-2002-Blanchet #authentication #protocol #security

From Secrecy to Authenticity in Security Protocols (BB), pp. 342–359.

SAS-2002-Zanotti #abstract interpretation #security

Security Typings by Abstract Interpretation (MZ), pp. 360–375.

SAS-2002-SabelfeldM #communication #concurrent

Securing Communication in a Concurrent Language (AS, HM), pp. 376–394.

SAS-2002-GallardoMP #ltl #model checking #refinement

Refinement of LTL Formulas for Abstract Model Checking (MdMG, PM, EP), pp. 395–410.

SAS-2002-RanzatoT #model checking

Making Abstract Model Checking Strongly Preserving (FR, FT), pp. 411–427.

SAS-2002-Masse #abstract interpretation #semantics

Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties (DM), pp. 428–443.

SAS-2002-Hymans #abstract interpretation #behaviour #safety

Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation (CH), pp. 444–460.

SAS-2002-GiacobazziR #abstract interpretation #model checking

States vs. Traces in Model Checking by Abstract Interpretation (RG, FR), pp. 461–476.

SAS-2002-BruynoogheCGV #analysis #logic programming #reuse #source code #termination #using

Reuse of Results in Termination Analysis of Typed Logic Programs (MB, MC, SG, WV), pp. 477–492.

SAS-2002-Lee #analysis #polynomial

Finiteness Analysis in Polynomial Time (CSL), pp. 493–508.

SAS-2002-MesnardPN #detection #logic programming #source code #termination

Detecting Optimal Termination Conditions of Logic Programs (FM, ÉP, UN), pp. 509–526.