단행본 상세

서지주요정보
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings
서명 / 저자 Static Analysis [electronic resource] : 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings / edited by Cezara Drăgoi, Suvam Mukherjee, Kedar Namjoshi.
저자명 Drăgoi, Cezara. editor. edt http://id.loc.gov/vocabulary/relators/edt ; Mukherjee, Suvam. editor. (orcid)0000-0002-9040-0053 https://orcid.org/0000-0002-9040-0053 edt http://id.loc.gov/vocabulary/relators/edt ; Namjoshi, Kedar. editor. edt http://id.loc.gov/vocabulary/relators/edt
단체명 SpringerLink (Online service)
판사항 1st ed. 2021.
발행사항 Cham : Springer International Publishing : Imprint: Springer, 2021.
총서명 Programming and Software Engineering, 2945-9168 ; 12913
Online Access https://doi.org/10.1007/978-3-... URL

서지기타정보

서지기타정보
ISBN 9783030888060
기타 표준번호 10.1007/978-3-030-88806-0
청구기호 QA75.5-76.95
형태사항 XVI, 479 p. 166 illus., 97 illus. in color. online resource.
언어 English
내용 Fast and Efficient Bit-Level Precision Tuning -- Backward Symbolic Execution with Loop Folding -- Accelerating Program Analyses in Datalog by Merging Library Facts -- Abstract Interpretation -- Verified Functional Programming of an Abstract Interpreter -- Disjunctive Interval Analysis -- Static analysis of ReLU neural networks with tropical polyhedral -- Exploiting Verified Neural Networks via Floating Point Numerical Error.-Verifying Low-dimensional Input Neural Networks via Input Quantization -- Data Abstraction: A General Framework to Handle Program -- Verification of Data Structures -- Toward Neural-Network-Guided Program Synthesis and Verification -- Selective Context-Sensitivity for k-CFA with CFL-Reachability -- Selectively-Amortized Resource Bounding -- Reduced Products of Abstract Domains for Fairness Certification of Neural Networks -- A Multi-Language Static Analysis of Python Programs with Native C Extensions -- Automated Verification of the Parallel Bellman–Ford Algorithm -- Improving Thread-Modular Abstract Interpretation -- Thread-modular Analysis of Release-Acquire Concurrency -- Symbolic Automatic Relations and Their Applications to SMT and CHC Solving -- Compositional Verification of Smart Contracts Through Communication Abstraction -- Automatic Synthesis of Data-Flow Analyzer.
주제 Computer science.
Computer systems.
Computers, Special purpose.
Software engineering.
Operating systems (Computers).
Computer networks .
Computer Science Logic and Foundations of Programming.
Computer System Implementation.
Special Purpose and Application-Based Systems.
Software Engineering.
Operating Systems.
Computer Communication Networks.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9783030888053 Printed edition: 9783030888077
QR CODE