Lecture Notes in Computer Science

Static Analysis

10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings

Editors: Cousot, Radhia (Ed.)

Buy this book

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

Table of contents (3 chapters)

  • Precise Analysis of String Expressions

    Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach

    Pages 1-18

  • Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations

    Ted Kremenek, Dawson Engler

    Pages 295-315

  • Precise Widening Operators for Convex Polyhedra

    Roberto Bagnara, Patricia M. Hill, Elisa Ricci, Enea Zaffanella

    Pages 337-354

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-44898-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA
  • ISBN 978-3-540-40325-8
  • 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
10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
Editors
  • Radhia Cousot
Series Title
Lecture Notes in Computer Science
Series Volume
2694
Copyright
2003
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-44898-3
DOI
10.1007/3-540-44898-5
Softcover ISBN
978-3-540-40325-8
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XIV, 510
Topics