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 47,59 €
price for Spain (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 58,24 €
price for Spain (gross)
  • ISBN 978-3-662-48287-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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

    Preview Buy Chapter 30,19 €
  • Static Analysis with Set-Closure in Secrecy

    Lee, Woosuk (et al.)

    Pages 18-35

    Preview Buy Chapter 30,19 €
  • A Binary Decision Tree Abstract Domain Functor

    Chen, Junjie (et al.)

    Pages 36-53

    Preview Buy Chapter 30,19 €
  • Precise Data Flow Analysis in the Presence of Correlated Method Calls

    Rapoport, Marianna (et al.)

    Pages 54-71

    Preview Buy Chapter 30,19 €
  • May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization

    Albert, Elvira (et al.)

    Pages 72-89

    Preview Buy Chapter 30,19 €

Buy this book

eBook 47,59 €
price for Spain (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 58,24 €
price for Spain (gross)
  • ISBN 978-3-662-48287-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • 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
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