Image for Static Analysis : 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings

Static Analysis : 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings (1st ed. 2019)

Chang, Bor-Yuh Evan(Edited by)
Part of the Programming and Software Engineering series
See all formats and editions

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.

Read More
Available
£35.99 Save 20.00%
RRP £44.99
Add Line Customisation
Usually dispatched within 4 weeks
Add to List
Product Details
303032303X / 9783030323035
Paperback / softback
005.1
06/10/2019
Switzerland
481 pages, 374 Illustrations, color; 1763 Illustrations, black and white; XIV, 481 p. 2137 illus., 3
155 x 235 mm