Advertisement

Static Analysis

10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings

  • Radhia Cousot
Conference proceedings SAS 2003

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

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Static Analysis of Object-Oriented Languages

    1. Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach
      Pages 1-18
    2. Frédéric Besson, Thomas Jensen
      Pages 19-36
  3. Static Analysis of Concurrent Languages

    1. Richard Carlsson, Konstantinos Sagonas, Jesper Wilhelmsson
      Pages 73-90
    2. Olivier Tardieu, Robert de Simone
      Pages 91-108
    3. Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg
      Pages 109-126
  4. Invited Paper

    1. Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
      Pages 127-152
  5. Static Analysis of Functional Languages

    1. Yasuhiko Minamide
      Pages 153-170
    2. Oukseh Lee, Hongseok Yang, Kwangkeun Yi
      Pages 171-188
  6. Static Analysis of Procedural Languages

    1. Thomas Reps, Stefan Schwoon, Somesh Jha
      Pages 189-213
    2. Samuel Z. Guyer, Calvin Lin
      Pages 214-236
  7. Static Data Analysis

    1. Paolo Baldan, Barbara König, Bernhard König
      Pages 255-272
    2. Ben Liblit, Alex Aiken, Katherine Yelick
      Pages 273-294
    3. Martín Abadi, Bruno Blanchet
      Pages 316-335
  8. Invited Talk

    1. Ken L. McMillan
      Pages 336-336
  9. Static Linear Relation Analysis

    1. Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella
      Pages 337-354
    2. Nicolas Halbwachs, David Merchat, Catherine Parent-Vigouroux
      Pages 355-365
  10. Static Analysis Based Program Transformation

    1. Priya Unnikrishnan, Guangyu Chen, Mahmut Kandemir, Mustafa Karakoy, Ibrahim Kolcu
      Pages 383-400
    2. Wen-Ke Chen, Bengu Li, Rajiv Gupta
      Pages 401-417
  11. Static Heap Analysis

    1. Viktor Kuncak, Martin Rinard
      Pages 418-438
    2. John Field, Deepak Goyal, G. Ramalingam, Eran Yahav
      Pages 439-462
    3. Stephen Chong, Radu Rugina
      Pages 463-482
    4. Ran Shaham, Eran Yahav, Elliot K. Kolodner, Mooly Sagiv
      Pages 483-503
  12. Back Matter
    Pages 505-505

About these proceedings

Keywords

Factor Interrupt Management complexity data structure data structures logic model checking program analysis program manipulation program transformation software analysis static analysis systems analysis verification

Editors and affiliations

  • Radhia Cousot
    • 1
  1. 1.École Polytechnique, STIXPalaiseau cedexFrance

Bibliographic information

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