Programming and Software Engineering

Static Analysis

18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings

Editors: Yahav, Eran (Ed.)

  • Up-to-date results
  • Fast-track conference proceedings
  • State-of-the-art research
see more benefits

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-23702-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-642-23701-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 18th International Symposium on Static Analysis, SAS 2011, held in Venice, Italy, in September 2011.

The 22 revised full papers were selected from 67 submissions. Also included in this volume are the abstracts of the invited talks that were given at the symposium by renowned experts in the field. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, data flow analysis, bug detection, program transformation, program verification, security analysis and type checking.

Table of contents (27 chapters)

  • Widening and Interpolation

    McMillan, Kenneth L.

    Pages 1-1

  • Program Analysis and Machine Learning: A Win-Win Deal

    Nori, Aditya V. (et al.)

    Pages 2-3

  • Program Analysis for Web Security

    Mitchell, John C.

    Pages 4-4

  • Astrée: Design and Experience

    Kästner, Daniel

    Pages 5-5

  • Formal Model Reduction

    Feret, Jérôme

    Pages 6-6

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-23702-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-642-23701-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Static Analysis
Book Subtitle
18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings
Editors
  • Eran Yahav
Series Title
Programming and Software Engineering
Series Volume
6887
Copyright
2011
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Berlin Heidelberg
eBook ISBN
978-3-642-23702-7
DOI
10.1007/978-3-642-23702-7
Softcover ISBN
978-3-642-23701-0
Edition Number
1
Number of Pages
XII, 387
Topics