Get 40% off our selection of bestselling print books in Engineering through October 31st!

Theoretical Computer Science and General Issues Advanced Research in Computing and Software Science

Static Analysis

22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

Editors: Blazy, Sandrine, Jensen, Thomas (Eds.)

Buy this book

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

This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015.

The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions. All fields of static analysis as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance are addressed, featuring theoretical, practical, and application advances in the area

Table of contents (18 chapters)

  • Static Analysis of Non-interference in Expressive Low-Level Languages

    Aldous, Peter (et al.)

    Pages 1-17

  • Static Analysis with Set-Closure in Secrecy

    Lee, Woosuk (et al.)

    Pages 18-35

  • A Binary Decision Tree Abstract Domain Functor

    Chen, Junjie (et al.)

    Pages 36-53

  • Precise Data Flow Analysis in the Presence of Correlated Method Calls

    Rapoport, Marianna (et al.)

    Pages 54-71

  • May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization

    Albert, Elvira (et al.)

    Pages 72-89

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-662-48288-9
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-662-48287-2
  • 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
22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
Editors
  • Sandrine Blazy
  • Thomas Jensen
Series Title
Theoretical Computer Science and General Issues
Series Volume
9291
Copyright
2015
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-662-48288-9
DOI
10.1007/978-3-662-48288-9
Softcover ISBN
978-3-662-48287-2
Edition Number
1
Number of Pages
XVI, 333
Number of Illustrations and Tables
90 b/w illustrations
Topics