Static Analysis

11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings

  • Roberto¬†Giacobazzi

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

Table of contents

  1. Front Matter
  2. Invited Talks

    1. Ehud Shapiro
      Pages 1-1
    2. Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
      Pages 2-18
    3. Yannis Smaragdakis
      Pages 19-20
  3. Program and System Verification

    1. Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
      Pages 53-68
    2. Hanne Riis Nielson, Flemming Nielson, Henrik Pilegaard
      Pages 69-83
  4. Security and Safety

    1. Torben Amtoft, Anindya Banerjee
      Pages 100-115
    2. Cormac Flanagan, Stephen N. Freund
      Pages 116-132
  5. Pointer Analysis

    1. Suan Hsi Yong, Susan Horwitz
      Pages 133-148
    2. Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu
      Pages 165-180
  6. Abstract Interpretation and Algorithms

    1. Sarah Thompson, Alan Mycroft
      Pages 181-196
    2. Charles Hymans, Eben Upton
      Pages 197-211
    3. Sumit Gulwani, George C. Necula
      Pages 212-227
  7. Shape Analysis

    1. Radu Rugina
      Pages 228-245
    2. Bertrand Jeannet, Alexey Loginov, Thomas Reps, Mooly Sagiv
      Pages 246-264

About these proceedings

Keywords

Scala algorithms data structure data structures formal methods formal verification logic program analysis program manipulation program transformation semantics software analysis static analysis systems analysis verification

Editors and affiliations

  • Roberto¬†Giacobazzi
    • 1
  1. 1.Dipartimento di InformaticaUniversità di VeronaVeronaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/b99688
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-22791-5
  • Online ISBN 978-3-540-27864-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book