This book constitutes the refereed proceedings of the 5th International Symposium on Static Analysis, SAS'98, held in Pisa, Italy, in September 1998.
The 20 revised full papers presented were carefully reviewed and selected from a total of 48 submissions. Also included is an invited tutorial. The papers are organized in topical sections on data-flow analysis, logic programming, concurrency, abstract domains, partial evaluation, type inference, and optimization. The invited tutorial by David Schmidt and Bernhard Steffen is entitled "data-flow analysis as model checking of abstract interpretations".
Author(s): Oliver Rüthing (auth.), Giorgio Levi (eds.)
Series: Lecture Notes in Computer Science 1503
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1998
Language: English
Pages: 394
Tags: Logics and Meanings of Programs; Programming Techniques; Programming Languages, Compilers, Interpreters; Software Engineering; Mathematical Logic and Formal Languages
Bidirectional Data Flow Analysis in Code Motion: Myth and Reality....Pages 1-16
On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines....Pages 17-32
Enabling Sparse Constant Propagation of Array Elements via Array SSA Form....Pages 33-56
Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses....Pages 57-81
Analysis of Normal Logic Programs....Pages 82-98
The Correctness of Set-Sharing....Pages 99-114
Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing....Pages 115-133
A Symbolic Semantics for Abstract Model Checking....Pages 134-151
Automatic Determination of Communication Topologies in Mobile Systems....Pages 152-167
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation....Pages 168-183
A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs....Pages 184-199
Refining Static Analyses by Trace-Based Partitioning Using Control Flow....Pages 200-214
Building Complete Abstract Interpretations in a Linear Logic-Based Setting....Pages 215-229
On the Power of Homeomorphic Embedding for Online Termination....Pages 230-245
Analysis of Imperative Programs through Analysis of Constraint Logic Programs....Pages 246-261
Improving Control in Functional Logic Program Specialization....Pages 262-277
Directional Type Inference for Logic Programs....Pages 278-294
Finite Subtype Inference with Explicit Polymorphism....Pages 295-310
Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis....Pages 311-326
A New Solution to the Hidden Copy Problem....Pages 327-348
A Tutorial on Domain Theory in Abstract Interpretation....Pages 349-350
Program Analysis as Model Checking of Abstract Interpretations....Pages 351-380
Certifying, Optimizing Compilation....Pages 381-381
