© 1998

Static Analysis

5th International Symposium, SAS’98 Pisa, Italy, September 14–16, 1998 Proceedings

  • Giorgio Levi
Conference proceedings SAS 1998

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1503)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Data-Flow Analysis

  3. Logic Programming

    1. François Fages, Roberta Gori
      Pages 82-98
    2. Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
      Pages 99-114
  4. Concurrency

  5. Abstract Domains

    1. Maria Handjieva, Stanislav Tzolovski
      Pages 200-214
    2. Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari
      Pages 215-229
  6. Partial Evaluation

    1. Julio C. Peralta, John P. Gallagher, Hüseyin Sağlam
      Pages 246-261
    2. E. Albert, M. Alpuente, M. Falaschi, P. Julián, G. Vidal
      Pages 262-277
  7. Type Inference

    1. Witold Charatonik, Andreas Podelski
      Pages 278-294
  8. Optimization

About these proceedings


Analysis Concurrency Logic Programming Partial Evaluation Program Analysis Program Optimization logic model checking optimization programming

Editors and affiliations

  • Giorgio Levi
    • 1
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly

Bibliographic information

Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking