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 67,82 €
price for Spain (gross)
  • 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 83,19 €
price for Spain (gross)
  • ISBN 978-3-642-15768-4
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
  • The final prices may differ from the prices shown due to specifics of VAT rules

Table of contents (28 chapters)

  • Time of Time

    Allen Emerson, E.

    Pages 1-1

    Preview Buy Chapter 30,19 €
  • Static Verification for Code Contracts

    Fähndrich, Manuel

    Pages 2-5

    Preview Buy Chapter 30,19 €
  • Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework

    Goldberg, Benjamin

    Pages 6-21

    Preview Buy Chapter 30,19 €
  • Size-Change Termination and Transition Invariants

    Heizmann, Matthias (et al.)

    Pages 22-50

    Preview Buy Chapter 30,19 €
  • Using Static Analysis in Space: Why Doing so?

    Lesens, David

    Pages 51-70

    Preview Buy Chapter 30,19 €

Buy this book

eBook 67,82 €
price for Spain (gross)
  • 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 83,19 €
price for Spain (gross)
  • ISBN 978-3-642-15768-4
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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