Static Analysis

12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings

  • Chris Hankin
  • Igor Siveroni
Conference proceedings SAS 2005

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Contributed Papers

    1. Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella
      Pages 3-18
    2. Roberto Bagnara, Enric Rodríguez-Carbonell, Enea Zaffanella
      Pages 19-34
    3. Maurice Bruynooghe, John Gallagher, Wouter Van Humbeeck
      Pages 35-51
    4. Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin Rinard
      Pages 70-86
    5. Byron Cook, Andreas Podelski, Andrey Rybalchenko
      Pages 87-101
    6. Aleksandar Dimovski, Dan R. Ghica, Ranko Lazić
      Pages 102-117
    7. Javier Esparza, Pierre Ganty, Stefan Schwoon
      Pages 118-134
    8. Neal Glew, Jens Palsberg, Christian Grothoff
      Pages 135-154
    9. Matthew Harren, George C. Necula
      Pages 155-170
    10. Sebastian Hunt, Isabella Mastroeni
      Pages 171-185
    11. B. Jeannet, D. Gopan, T. Reps
      Pages 186-202
    12. Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun Yi
      Pages 203-217
    13. John Kodumal, Alex Aiken
      Pages 218-234
    14. Markus Müller-Olm, Helmut Seidl
      Pages 235-250
    15. Iman Narasamdya, Andrei Voronkov
      Pages 251-267
    16. Andreas Podelski, Thomas Wies
      Pages 268-283

About these proceedings

Keywords

Scala abstract domains abstract testing algorithms data structure data structures flow analysis formal verification logic model checking optimization program manipulation program semantics security analysis software a

Editors and affiliations

  • Chris Hankin
    • 1
  • Igor Siveroni
    • 2
  1. 1.Department of ComputingImperial College London 
  2. 2.Department of ComputingImperial College LondonLondonUK

Bibliographic information

  • DOI https://doi.org/10.1007/11547662
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-28584-7
  • Online ISBN 978-3-540-31971-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book