Advertisement

Static Analysis

6th International Symposium, SAS’99 Venice, Italy, September 22–24, 1999 Proceedings

  • Agostino Cortesi
  • Gilberto Filé
Conference proceedings SAS 1999

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

Table of contents

  1. Front Matter
    Pages I-VIII
  2. Synchronization in JAVA Programs

    1. John Hatcliff, James Corbett, Matthew Dwyer, Stefan Sokolowski, Hongjun Zheng
      Pages 1-18
    2. Jonathan Aldrich, Craig Chambers, Emin Gun Sirer, Susan Eggers
      Pages 19-38
  3. Synchronous Languages

    1. Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond
      Pages 39-50
    2. Frédéric Besson, Thomas Jensen, Jean-Pierre Talpin
      Pages 51-68
  4. Abstract Domains

    1. Enea Zaffanella, Patricia M. Hill, Roberto Bagnara
      Pages 69-84
    2. Patricia Hill, Fausto Spoto
      Pages 85-100
    3. Laurent Mauborgne
      Pages 101-116
  5. Concurrency

    1. René Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson
      Pages 134-148
    2. Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
      Pages 164-178
  6. Static Single Assignment

    1. Munehiro Takimoto, Kenichi Harada
      Pages 179-193
    2. Vugranam C. Sreedhar, Roy Dz-Ching Ju, David M. Gillies, Vatsa Santhanam
      Pages 194-210
  7. Optimizations

    1. Yanhong A. Liu, Scott D. Stoller
      Pages 211-231
    2. Oliver Rüthing, Jens Knoop, Bernhard Steffen
      Pages 232-247
  8. Foundations

    1. Jörg Köller, Markus Mohnen
      Pages 248-263
    2. Loîc Correnson, Etienne Duris, Didier Parigot, Gilles Roussel
      Pages 264-283
    3. Dominique Cansell, Dominique Méry
      Pages 284-299
  9. Invited Talks and Tutorials

    1. Daniel Weise
      Pages 300-302
    2. Dennis Volpano
      Pages 303-311
    3. David McAllester
      Pages 312-329
    4. Markus Müller-Olm, David Schmidt, Bernhard Steffen
      Pages 330-354
  10. Back Matter
    Pages 357-357

About these proceedings

Introduction

Static analysis is increasingly recognized as a fundamental reasearch area aimed at studying and developing tools for high performance implementations and v- i cation systems for all programming language paradigms. The last two decades have witnessed substantial developments in this eld, ranging from theoretical frameworks to design, implementation, and application of analyzers in optim- ing compilers. Since 1994, SAS has been the annual conference and forum for researchers in all aspects of static analysis. This volume contains the proceedings of the 6th International Symposium on Static Analysis (SAS’99) which was held in Venice, Italy, on 22{24 September 1999. The previous SAS conferences were held in Namur (Belgium), Glasgow (UK), Aachen (Germany), Paris (France), and Pisa (Italy). The program committee selected 18 papers out of 42 submissions on the basis of at least three reviews. The resulting volume o ers to the reader a complete landscape of the research in this area. The papers contribute to the following topics: foundations of static analysis, abstract domain design, and applications of static analysis to di erent programming paradigms (concurrent, synchronous, imperative, object oriented, logical, and functional). In particular, several papers use static analysis for obtaining state space reduction in concurrent systems. New application elds are also addressed, such as the problems of security and secrecy.

Keywords

Java abstract interpretation formal methods partial evaluation program analysis program semantics structured analysis

Editors and affiliations

  • Agostino Cortesi
    • 1
  • Gilberto Filé
    • 2
  1. 1.Dipartimento di InformaticaUniversità Ca’Foscari di VeneziaMestre-VeneziaItaly
  2. 2.Dipartimento di Matematica Pura ed ApplicataUniversità di PadovaPadovaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-48294-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-66459-8
  • Online ISBN 978-3-540-48294-9
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site