Advertisement

Static Analysis

7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings

  • Jens Palsberg
Conference proceedings SAS 2000

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Andreas Podelski
      Pages 22-37
  3. Contributed Papers

    1. Gianluca Amato, Giorgio Levi
      Pages 38-57
    2. S. Bensalem, M. Bozga, J. -C. Fernandez, L. Ghirvu, Y. Lakhnech
      Pages 58-72
    3. Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi
      Pages 75-94
    4. David Clark, Chris Hankin, Sebastian Hunt
      Pages 95-114
    5. Nurit Dor, Michael Rodeh, Mooly Sagiv
      Pages 115-134
    6. Jérôme Feret
      Pages 135-154
    7. Stephen Fink, Kathleen Knobe, Vivek Sarkar
      Pages 155-174
    8. Jeffrey S. Foster, Manuel Fähndrich, Alexander Aiken
      Pages 175-198
    9. Etienne M. Gagnon, Laurie J. Hendren, Guillaume Marceau
      Pages 199-219
    10. Thomas A. Henzinger, Rupak Majumdar, Freddy Mang, Jean-François Raskin
      Pages 220-239
    11. Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa
      Pages 240-259
    12. Jens Knoop, Jean-François Collard, Roy Dz-ching Ju
      Pages 260-279
    13. Tal Lev-Ami, Mooly Sagiv
      Pages 280-301
    14. Laurent Mauborgne
      Pages 302-319
    15. Robert Muth, Scott Watterson, Saumya Debray
      Pages 340-359
    16. James Riely, Jan Prins
      Pages 360-376
    17. Cristian Ungureanu, Suresh Jagannathan
      Pages 413-432
  4. Back Matter

About these proceedings

Keywords

Action Constraint model checking object optimization programming programming language verification

Editors and affiliations

  • Jens Palsberg
    • 1
  1. 1.Department of Computer ScienceUniversity of CaliforniaLos AngelesUSA

Bibliographic information

  • DOI https://doi.org/10.1007/b87738
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67668-3
  • Online ISBN 978-3-540-45099-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site