Advertisement

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
  12. Todd L. Veldhuizen, Andrew Lumsdaine
    Pages 263-277
  13. Karl-Filip Faxén
    Pages 278-293
  14. Marc Langenbach, Stephan Thesing, Reinhold Heckmann
    Pages 294-309
  15. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    Pages 310-325
  16. Mirko Zanotti
    Pages 360-375
  17. Andrei Sabelfeld, Heiko Mantel
    Pages 376-394
  18. Marίa del Mar Gallardo, Pedro Merino, Ernesto Pimentel
    Pages 395-410
  19. Francesco Ranzato, Francesco Tapparo
    Pages 411-427
  20. Roberto Giacobazzi, Francesco Ranzato
    Pages 461-476
  21. Maurice Bruynooghe, Michael Codish, Samir Genaim, Wim Vanhoof
    Pages 477-492
  22. Chin Soon Lee
    Pages 493-508
  23. Fred Mesnard, Etienne Payet, Ulrich Neumerkel
    Pages 509-525
  24. Back Matter
    Pages 527-528

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
  • Buy this book on publisher's site
Industry Sectors
Pharma
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Consumer Packaged Goods
Energy, Utilities & Environment
Engineering