5. SAS 1998: Pisa, Italy

@proceedings{DBLP:conf/sas/1998,
  editor    = {Giorgio Levi},
  title     = {Static Analysis, 5th International Symposium, SAS '98, Pisa,
               Italy, September 14-16, 1998, Proceedings},
  booktitle = {SAS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1503},
  year      = {1998},
  isbn      = {3-540-65014-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Data/Flow Analysis

• Oliver Rüthing:
  Bidirectional Data Flow Analysis in Code Motion: Myth and Reality. 1-16
  Electronic Edition (Springer LINK) BibTeX
• Masami Hagiya, Akihiko Tozawa:
  On a New Method for Dataflow Analysis of Java Virtual Machine Subroutines. 17-32
  Electronic Edition (Springer LINK) BibTeX
• Vivek Sarkar, Kathleen Knobe:
  Enabling Sparse Constant Propagation of Array Elements via Array SSA Form. 33-56
  Electronic Edition (Springer LINK) BibTeX
• Michael Hind, Anthony Pioli:
  Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses. 57-81
  Electronic Edition (Springer LINK) BibTeX

Logic Programming

• François Fages, Roberta Gori:
  Analysis of Normal Logic Programs. 82-98
  Electronic Edition (Springer LINK) BibTeX
• Patricia M. Hill, Roberto Bagnara, Enea Zaffanella:
  The Correctness of Set-Sharing. 99-114
  Electronic Edition (Springer LINK) BibTeX
• Valérie Gouranton:
  Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing. 115-133
  Electronic Edition (Springer LINK) BibTeX

Concurrency

• Francesca Levi:
  A Symbolic Semantics for Abstract Model Checking. 134-151
  Electronic Edition (Springer LINK) BibTeX
• Arnaud Venet:
  Automatic Determination of Communication Topologies in Mobile Systems. 152-167
  Electronic Edition (Springer LINK) BibTeX
• Chiara Bodei, Pierpaolo Degano, Corrado Priami:
  Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation. 168-183
  Electronic Edition (Springer LINK) BibTeX

Abstract Domains

• Paolo Volpe:
  A First-Order Language for Expressing Aliasing and Type Properties of Logic Programs. 184-199
  Electronic Edition (Springer LINK) BibTeX
• Maria Handjieva, Stanislav Tzolovski:
  Refining Static Analyses by Trace-Based Partitioning Using Control Flow. 200-214
  Electronic Edition (Springer LINK) BibTeX
• Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari:
  Building Complete Abstract Interpretations in a Linear Logic-based Setting. 215-229
  Electronic Edition (Springer LINK) BibTeX

Partial Evaluation

• Michael Leuschel:
  On the Power of Homeomorphic Embedding for Online Termination. 230-245
  Electronic Edition (Springer LINK) BibTeX
• Julio C. Peralta, John P. Gallagher, Hüseyin Saglam:
  Analysis of Imperative Programs through Analysis of Constraint Logic Programs. 246-261
  Electronic Edition (Springer LINK) BibTeX
• Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal:
  Improving Control in Functional Logic Program Specialization. 262-277
  Electronic Edition (Springer LINK) BibTeX

Type Inference

• Witold Charatonik, Andreas Podelski:
  Directional Type Inference for Logic Programs. 278-294
  Electronic Edition (Springer LINK) BibTeX
• Dominic Duggan:
  Finite Subtype Inference with Explicit Polymorphism. 295-310
  Electronic Edition (Springer LINK) BibTeX

Optimization

• Mohamed Tadjouddine, F. Eyssette, C. Faure:
  Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis. 311-326
  Electronic Edition (Springer LINK) BibTeX
• Deepak Goyal, Robert Paige:
  A New Solution to the Hidden Copy Problem. 327-348
  Electronic Edition (Springer LINK) BibTeX

Tutorials

• Roberto Giacobazzi:
  A Tutorial on Domain Theory in Abstract Interpretation. 349-350
  Electronic Edition (Springer LINK) BibTeX
• David A. Schmidt, Bernhard Steffen:
  Program Analysis as Model Checking of Abstract Interpretations. 351-380
  Electronic Edition (Springer LINK) BibTeX

Invited Talk

• Peter Lee:
  Certifying, Optimizing Compilation (Abstract). 381
  Electronic Edition (Springer LINK) BibTeX