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

Keywords

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

  • DOI https://doi.org/10.1007/3-540-49727-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65014-0
  • Online ISBN 978-3-540-49727-1
  • Series Print ISSN 0302-9743
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology