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

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