Static Analysis

17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings

  • Radhia Cousot
  • Matthieu Martel
Conference proceedings SAS 2010

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

Table of contents

  1. Front Matter
  2. E. Allen Emerson
    Pages 1-1
  3. Manuel Fähndrich
    Pages 2-5
  4. Matthias Heizmann, Neil D. Jones, Andreas Podelski
    Pages 22-50
  5. Bill McCloskey, Thomas Reps, Mooly Sagiv
    Pages 71-99
  6. Elvira Albert, Puri Arenas, Samir Genaim, German Puebla, Diana Vanessa Ramírez Deantes
    Pages 100-116
  7. Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord
    Pages 117-133
  8. Gianluca Amato, Maurizio Parton, Francesca Scozzari
    Pages 134-150
  9. Christian J. Bell, Andrew W. Appel, David Walker
    Pages 151-166
  10. Jörg Brauer, Andy King
    Pages 167-183
  11. Renato Cherini, Lucas Rearte, Javier Blanco
    Pages 201-217
  12. Mila Dalla Preda, Roberto Giacobazzi, Saumya Debray, Kevin Coogan, Gregg M. Townsend
    Pages 218-235
  13. Thomas Martin Gawlitza, Helmut Seidl
    Pages 271-286
  14. Arie Gurfinkel, Sagar Chaki
    Pages 287-303
  15. William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani
    Pages 304-319

About these proceedings

Keywords

Analysis logic optimization programming structured analysis systems analysis testing verification

Editors and affiliations

  • Radhia Cousot
    • 1
  • Matthieu Martel
    • 2
  1. 1.Départment d’InformatiqueÉcole normale supérieureParis cedexFrance
  2. 2.ELIAUS-DALI LaboratoryUniversité de Perpignan Via DomitiaPerpignan cedexFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-15769-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-15768-4
  • Online ISBN 978-3-642-15769-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book