Static Analysis: 32nd International Symposium, SAS 2025, Singapore, Singapore, October 13-14, 2025, Proceedings
暫譯: 靜態分析：第32屆國際研討會，SAS 2025，新加坡，2025年10月13-14日，會議論文集
Oh, Hakjoo, Sui, Yulei
相關主題
商品描述
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.
商品描述(中文翻譯)
本書為第32屆國際靜態分析研討會（SAS 2025）的經過審稿的會議論文集，該會議於2025年10月在新加坡舉行。
本書收錄的15篇論文是從32篇投稿中仔細審核和選出的。
本書中所呈現的論文涉及抽象解釋、自动推理、資料流分析、除錯技術、演繹方法、新興應用、模型檢查、資料科學、程式優化與轉換、程式合成、程式驗證、機器學習與驗證、安全分析、工具環境與架構、理論框架、類型檢查、分散式或網路系統，以及針對靜態分析的LLM和針對LLM的靜態分析。
