Save today: Get 40% off titles in Popular Science!

Programming and Software Engineering Advanced Research in Computing and Software Science

Static Analysis

26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Editors: Chang, Bor-Yuh Evan (Ed.)

Free Preview

Buy this book

eBook $69.99
price for USA in USD
  • ISBN 978-3-030-32304-2
  • 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
About this book

This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019.
The 20 regular papers presented in this book were carefully reviewed and selected from 50 submissions. 
The papers are grouped in topical sections on pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning; synthesis and security; and temporal properties and termination.

Table of contents (22 chapters)

Table of contents (22 chapters)
  • Rethinking Static Analysis by Combining Discrete and Continuous Reasoning

    Pages 3-16

    Naik, Mayur

  • Static Analysis of Data Science Software

    Pages 17-23

    Urban, Caterina

  • Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis

    Pages 27-47

    Lei, Yuxiang (et al.)

  • Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis

    Pages 48-72

    Yan, Hua (et al.)

  • A Change-Based Heuristic for Static Analysis with Policy Iteration

    Pages 73-95

    Völker, Marcus (et al.)

Buy this book

eBook $69.99
price for USA in USD
  • ISBN 978-3-030-32304-2
  • 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
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Static Analysis
Book Subtitle
26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Editors
  • Bor-Yuh Evan Chang
Series Title
Programming and Software Engineering
Series Volume
11822
Copyright
2019
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-32304-2
DOI
10.1007/978-3-030-32304-2
Softcover ISBN
978-3-030-32303-5
Edition Number
1
Number of Pages
XIV, 481
Number of Illustrations
1763 b/w illustrations, 374 illustrations in colour
Topics