Static Analysis: 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings

Front Cover
Giorgio Levi
Springer Science & Business Media, Sep 2, 1998 - Computers - 394 pages
This volume contains the proceedings of the 1998 international symposium on staticanalysis(SAS'98)whichwasheldinPisa(Italy),onSeptember14-16,1998 and was part of a federated conference with ALP-PLILP'98 and several wo- shops. SAS'98isthe annualconferenceandforumforresearchersinallaspectsof staticanalysis. ItfollowstoSAS'94,SAS'95,SAS'96andSAS'97whichwereheld respectively in Namur (Belgium), Glasgow (UK), Aachen (Germany) and Paris (France), and the international workshops WSA'92 held in Bordeaux (France) and WSA'93 held in Padova (Italy). In response to the call for papers, 48 papers were submitted. All papers were reviewed by at least three reviewers and the program committee met in Pisa to select 20 papers based on the referee reports. There was a consensus at the meeting that the technical papers were of very high quality. In addition to the submitted papers, SAS'98 had a number of outstanding invited speakers. Roberto Giacobazzi, Peter Lee, Amir Pnueli, Dave Schmidt, Scott Smolka, and Bernhard Ste?en accepted our invitation to give invited talks or tutorials. Some ofthepapers(orabstracts)basedonthesetalksarealsoincludedin thisvolume. SAS'98 has been fortunate to rely on a number of individuals and orga- zations. I want to thank all the program committee members and referees, for their hard work in producing the reviews and for such a smooth and enj- able programcommittee meeting. Special thanks go to the conference chairman, Maurizio Gabbrielli, and to my students in Pisa who helped me a lot. More s- cial thanks go to Vladimiro Sassone, who made available to SAS'98 his excellent system for handling submissions and reviews on the web, and to Ernesto Lastres andRen` eMorenowhoweremy“systemmanagers”.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Myth and Reality
1
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines
17
Enabling Sparse Constant Propagation of Array Elements via Array SSA Form
33
Assessing the Effects of FlowSensitivity on Pointer Alias Analyses
57
Analysis of Normal Logic Programs
82
The Correctness of SetSharing
99
Slicing
115
A Symbolic Semantics for Abstract Model Checking
134
On the Power of Homeomorphic Embedding for Online Termination
230
Analysis of Imperative Programs through Analysis of Constraint Logic Programs
246
Improving Control in Functional Logic Program Specialization
262
Directional Type Inference for Logic Programs
278
Finite Subtype Inference with Explicit Polymorphism
295
Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis
311
A New Solution to the Hidden Copy Problem
327
A Tutorial on Domain Theory in Abstract Interpretation
349

Automatic Determination of Communication Topologies in Mobile Systems
152
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation
168
Refining Static Analyses by TraceBased Partitioning Using Control Flow
200
Building Complete Abstract Interpretations in a Linear LogicBased Setting
215
Program Analysis as Model Checking of Abstract Interpretations
351
Certifying Optimizing Compilation
381
Author Index
382
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information