Giorgio Levi
Proceedings of the Fifth International Static Analysis Symposium
SAS, 1998.

@proceedings{SAS-1998,
	address       = "Pisa, Italy",
	editor        = "Giorgio Levi",
	isbn          = "3-540-65014-8",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Fifth International Static Analysis Symposium}",
	volume        = 1503,
	year          = 1998,
}

Contents (23 items)

6 ×#analysis
5 ×#logic programming
4 ×#abstract interpretation
4 ×#source code
3 ×#semantics
2 ×#alias
2 ×#automation
2 ×#data flow
2 ×#model checking
2 ×#on the

SAS-1998-Ruthing #analysis #bidirectional #data flow

Bidirectional Data Flow Analysis in Code Motion: Myth and Reality (OR), pp. 1–16.

SAS-1998-HagiyaT #analysis #data flow #java #on the #virtual machine

On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines (MH, AT), pp. 17–32.

SAS-1998-SarkarK #array #constant

Enabling Sparse Constant Propagation of Array Elements via Array SSA Form (VS, KK), pp. 33–56.

SAS-1998-HindP #alias #analysis #pointer

Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses (MH, AP), pp. 57–81.

SAS-1998-FagesG #analysis #logic programming #source code

Analysis of Normal Logic Programs (FF, RG), pp. 82–98.

SAS-1998-HillBZ #correctness

The Correctness of Set-Sharing (PMH, RB, EZ), pp. 99–114.

SAS-1998-Gouranton #case study #semantics #slicing

Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing (VG), pp. 115–133.

SAS-1998-Levi #model checking #semantics

A Symbolic Semantics for Abstract Model Checking (FL), pp. 134–151.

SAS-1998-Venet #automation #communication #mobile

Automatic Determination of Communication Topologies in Mobile Systems (AV), pp. 152–167.

SAS-1998-BodeiDP #abstract interpretation #concurrent #semantics

Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation (CB, PD, CP), pp. 168–183.

SAS-1998-Volpe #alias #first-order #logic programming #source code

A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs (PV), pp. 184–199.

SAS-1998-HandjievaT #analysis #clustering #control flow #using

Refining Static Analyses by Trace-Based Partitioning Using Control Flow (MH, ST), pp. 200–214.

SAS-1998-GiacobazziRS #abstract interpretation #linear

Building Complete Abstract Interpretations in a Linear Logic-based Setting (RG, FR, FS), pp. 215–229.

SAS-1998-Leuschel #on the #online #power of #termination

On the Power of Homeomorphic Embedding for Online Termination (ML), pp. 230–245.

SAS-1998-PeraltaGS #analysis #constraints #imperative #logic programming #source code

Analysis of Imperative Programs through Analysis of Constraint Logic Programs (JCP, JPG, HS), pp. 246–261.

SAS-1998-AlbertAFJV #functional #logic programming

Improving Control in Functional Logic Program Specialization (EA, MA, MF, PJI, GV), pp. 262–277.

SAS-1998-CharatonikP #logic programming #source code #type inference

Directional Type Inference for Logic Programs (WC, AP), pp. 278–294.

SAS-1998-Duggan #finite #morphism #polymorphism #type inference #type system

Finite Subtype Inference with Explicit Polymorphism (DD), pp. 295–310.

SAS-1998-TadjouddineEF #automation #difference #program analysis

Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis (MT, FE, CF), pp. 311–326.

SAS-1998-GoyalP #problem

A New Solution to the Hidden Copy Problem (DG, RP), pp. 327–348.

SAS-1998-Giacobazzi #abstract interpretation #tutorial

A Tutorial on Domain Theory in Abstract Interpretation (RG), pp. 349–350.

SAS-1998-SchmidtS #abstract interpretation #model checking #program analysis

Program Analysis as Model Checking of Abstract Interpretations (DAS, BS), pp. 351–380.

SAS-1998-Lee #compilation #optimisation

Certifying, Optimizing Compilation (PL0), p. 381.