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

Theoretical Computer Science and General Issues

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 $64.99
price for USA
  • 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 $84.00
price for USA
  • 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 $64.99
price for USA
  • 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 $84.00
price for USA
  • 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