Advertisement

Static Analysis

8th International Symposium, SAS 2001 Paris, France, July 16–18, 2001 Proceedings

  • Patrick Cousot
Conference proceedings SAS 2001

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Paper

    1. Martin Rinard
      Pages 1-19
  3. Program Transformation

    1. Miquel Bertran, Francesc Babot, August Climent, Miquel Nicolau
      Pages 20-39
    2. Raghavan Komondoor, Susan Horwitz
      Pages 40-56
    3. Richard Sharp, Alan Mycroft
      Pages 57-72
  4. Strictness and Termination

  5. Semantics Abstraction

  6. Logic and Constraint Programming

    1. Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella
      Pages 165-184
  7. Invited Paper

    1. K. Rustan, M. Leino
      Pages 185-193
  8. Data Structures

    1. Nurit Dor, Michael Rodeh, Mooly Sagiv
      Pages 194-212
    2. Yanhong A. Liu, Ning Li, Scott D. Stoller
      Pages 213-233
  9. Pointer Analysis

    1. Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof
      Pages 260-278
  10. Model Checking

    1. Farn Wang, Hsu-Chun Yen
      Pages 299-318
    2. Natalia Sidorova, Martin Steffen
      Pages 319-334
  11. Abstract Model Checking

    1. Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu
      Pages 335-355
    2. Roberto Giacobazzi, Elisa Quintarelli
      Pages 356-373
  12. Invited Talk

  13. Mobility

    1. Sriram K. Rajamani, Jakob Rehof
      Pages 375-394
    2. Francesca Levi, Sergio Maffeis
      Pages 395-411
  14. Invited Session on Security

    1. David Wagner
      Pages 431-431
    2. Andrew D. Gordon, Alan Jeffrey
      Pages 432-432
  15. Back Matter
    Pages 439-439

About these proceedings

Keywords

Action Constraint data structure data structures logic model checking programming semantics

Editors and affiliations

  • Patrick Cousot
    • 1
  1. 1.Département d’InformatiqueÉcole Normale SupérieureParis Cedex 05France

Bibliographic information

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