Get 40% off select print & eBooks in Engineering & Materials or 50% off eBooks in Medicine & Psychology!

Programming and Software Engineering Advanced Research in Computing and Software Science

Static Analysis

25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Editors: Podelski, Andreas (Ed.)

Free Preview

Buy this book

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

This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.
The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program understanding, and software maintenance.

Table of contents (25 chapters)

Table of contents (25 chapters)
  • Fairness: A Formal-Methods Perspective

    Pages 1-4

    Albarghouthi, Aws

  • The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software

    Pages 5-23

    Bagnara, Roberto (et al.)

  • Numerical Invariants via Abstract Machines

    Pages 24-42

    Kincaid, Zachary

  • Deductive Verification in Decidable Fragments with Ivy

    Pages 43-55

    McMillan, Kenneth L. (et al.)

  • Experience Developing and Deploying Concurrency Analysis at Facebook

    Pages 56-70

    O’Hearn, Peter

Buy this book

eBook $69.99
price for USA in USD (gross)
  • ISBN 978-3-319-99725-4
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA in USD
  • ISBN 978-3-319-99724-7
  • 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
25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Editors
  • Andreas Podelski
Series Title
Programming and Software Engineering
Series Volume
11002
Copyright
2018
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-319-99725-4
DOI
10.1007/978-3-319-99725-4
Softcover ISBN
978-3-319-99724-7
Edition Number
1
Number of Pages
X, 445
Number of Illustrations
102 b/w illustrations
Topics