Static Analysis

9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

  • Manuel V. Hermenegildo
  • Germán Puebla
Conference proceedings SAS 2002

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Markus Müller-Olm, Helmut Seidl
    Pages 4-19
  3. Flemming Nielson, Hanne Riis Nielson, Helmut Seidl
    Pages 20-35
  4. Tuba Yavuz-Kahveci, Tevfik Bultan
    Pages 69-84
  5. Lunjin Lu, Andy King
    Pages 85-101
  6. Claudio Vaucheret, Francisco Bueno
    Pages 102-116
  7. Alexander Serebrenik, Danny De Schreye
    Pages 151-164
  8. Christian W. Probst
    Pages 165-179
  9. R. Manevich, G. Ramalingam, J. Field, D. Goyal, M. Sagiv
    Pages 196-212
  10. Roberto Bagnara, Elisa Ricci, Enea Zaffanella, Patricia M. Hill
    Pages 213-229
  11. Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle et al.
    Pages 230-246

About these proceedings

Keywords

Formal Methods Formal Verification Program Analysis Programming Languages Implementation Semantics-Based Program Manipulation Software Analysis Static Analysis Systems Analysis compiler data structure model checking optimization semantics verification

Editors and affiliations

  • Manuel V. Hermenegildo
    • 1
  • Germán Puebla
    • 1
  1. 1.Department of Computer Science Facultad de InformáticaTechnical University of MadridBoadilla del Monte, MadridSpain

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45789-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-44235-6
  • Online ISBN 978-3-540-45789-3
  • Series Print ISSN 0302-9743
  • About this book
Industry Sectors
Pharma
Chemical Manufacturing
Biotechnology
Electronics
Telecommunications
Consumer Packaged Goods
Energy, Utilities & Environment