|
|
|||
|
||||
OverviewThis book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023. The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers deal with theoretical, practical and application advances in the area. Chapter 21 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. Full Product DetailsAuthor: Manuel V. Hermenegildo , José F. MoralesPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2023 Volume: 14284 Weight: 0.884kg ISBN: 9783031442445ISBN 10: 303144244 Pages: 566 Publication Date: 24 October 2023 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |