Programming and Software Engineering

Static Analysis

13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings

Editors: Yi, Kwangkeun (Ed.)

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-540-37758-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-540-37756-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (27 chapters)

  • Unleashing the Power of Static Analysis

    Das, Manuvir

    Pages 1-2

  • Static Analysis in Disjunctive Numerical Domains

    Sankaranarayanan, Sriram (et al.)

    Pages 3-17

  • Static Analysis of Numerical Algorithms

    Goubault, Eric (et al.)

    Pages 18-34

  • Static Analysis of String Manipulations in Critical Embedded C Programs

    Allamigeon, Xavier (et al.)

    Pages 35-51

  • Abstract Regular Tree Model Checking of Complex Dynamic Data Structures

    Bouajjani, Ahmed (et al.)

    Pages 52-70

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-540-37758-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-540-37756-6
  • 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
13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings
Editors
  • Kwangkeun Yi
Series Title
Programming and Software Engineering
Series Volume
4134
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-37758-0
DOI
10.1007/11823230
Softcover ISBN
978-3-540-37756-6
Edition Number
1
Number of Pages
XIII, 443
Topics