Paperback. This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025. The 15 papers included here were carefully reviewed and selected from 32 submissions. The papers presented in this book deal with abstract interpretation, automated deduction, data flow analysis, debugging techniques, deductive methods, emerging applications, model checking, data science, program optimizations and transformations, program synthesis, program verification, machine learning and verification, security analysis, tool environments and architectures, theoretical frameworks, type checking, distributed or networked systems, and LLM for static analysis and static analysis for LLM. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

Seller Inventory # 9783032071057

Contact seller

Report this item

Bibliographic Details

Title: Static Analysis (Paperback)
Publisher: Springer Nature Switzerland AG, Cham
Publication Date: 2025
Language: English
ISBN 10: 3032071054
ISBN 13: 9783032071057
Binding: Paperback
Condition: new

About this title

Synopsis

This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.

The 15 papers included here were carefully reviewed and selected from 32 submissions.

The papers presented in this book deal with abstract interpretation, automated deduction, data flow analysis, debugging techniques, deductive methods, emerging applications, model checking, data science, program optimizations and transformations, program synthesis, program verification, machine learning and verification, security analysis, tool environments and architectures, theoretical frameworks, type checking, distributed or networked systems, and LLM for static analysis and static analysis for LLM.

"About this title" may belong to another edition of this title.

Store Description

Online business

Visit Seller's Storefront

Seller's business information

ABC BOOKS LIMITED
10 John Street, London, WC1N 2EB, United Kingdom

Sale & Shipping Terms

Terms of Sale

Orders can be returned within 30 days of receipt.

Shipping Terms

Please note that titles are dispatched from our US, Canadian or Australian warehouses. Delivery times specified in shipping terms. Orders ship within 2 business days. Delivery to your door then takes 7-14 days.

Shipping rates from United Kingdom to U.S.A.

Shipping rates from United Kingdom to U.S.A.
Order quantity	7 to 60 business days	7 to 14 business days
First item	US$ 49.04	US$ 49.04

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.