Save 50% on Print Books, eBooks & Journals in Medicine! Browse now >>

Programming and Software Engineering

Static Analysis

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

Editors: Cousot, Radhia, Martel, Matthieu (Eds.)

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

Buy this book

eBook $79.99
price for USA
  • ISBN 978-3-642-15769-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-642-15768-4
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.

Table of contents (28 chapters)

  • Time of Time

    Allen Emerson, E.

    Pages 1-1

  • Static Verification for Code Contracts

    Fähndrich, Manuel

    Pages 2-5

  • Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework

    Goldberg, Benjamin

    Pages 6-21

  • Size-Change Termination and Transition Invariants

    Heizmann, Matthias (et al.)

    Pages 22-50

  • Using Static Analysis in Space: Why Doing so?

    Lesens, David

    Pages 51-70

Buy this book

eBook $79.99
price for USA
  • ISBN 978-3-642-15769-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-642-15768-4
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Static Analysis
Book Subtitle
17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings
Editors
  • Radhia Cousot
  • Matthieu Martel
Series Title
Programming and Software Engineering
Series Volume
6337
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-15769-1
DOI
10.1007/978-3-642-15769-1
Softcover ISBN
978-3-642-15768-4
Edition Number
1
Number of Pages
XI, 473
Number of Illustrations and Tables
131 b/w illustrations
Topics