001451913 000__ 04297cam\a2200613\i\4500
001451913 001__ 1451913
001451913 003__ OCoLC
001451913 005__ 20230310004724.0
001451913 006__ m\\\\\o\\d\\\\\\\\
001451913 007__ cr\cn\nnnunnun
001451913 008__ 221219s2023\\\\sz\a\\\\ob\\\\101\0\eng\d
001451913 019__ $$a1353259492$$a1354205511
001451913 020__ $$a9783031223082$$q(electronic bk.)
001451913 020__ $$a303122308X$$q(electronic bk.)
001451913 020__ $$z9783031223075
001451913 020__ $$z3031223071
001451913 0247_ $$a10.1007/978-3-031-22308-2$$2doi
001451913 035__ $$aSP(OCoLC)1355359881
001451913 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dEBLCP$$dYDX$$dOCLCQ$$dOCLCF$$dUKAHL
001451913 049__ $$aISEA
001451913 050_4 $$aQA76.6
001451913 08204 $$a005.1$$223/eng/20221219
001451913 1112_ $$aInternational Static Analysis Symposium$$n(29th :$$d2022 :$$cAuckland, N.Z)
001451913 24510 $$aStatic analysis :$$b29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022 /$$cGagandeep Singh, Caterina Urban (eds.).
001451913 2463_ $$aSAS 2022
001451913 264_1 $$aCham :$$bSpringer,$$c2023.
001451913 300__ $$a1 online resource (470 pages) :$$billustrations.
001451913 336__ $$atext$$btxt$$2rdacontent
001451913 337__ $$acomputer$$bc$$2rdamedia
001451913 338__ $$aonline resource$$bcr$$2rdacarrier
001451913 4901_ $$aLecture notes in computer science ;$$v13790
001451913 4901_ $$aAdvanced research in computing and software science
001451913 500__ $$aSelected conference papers.
001451913 500__ $$aIncludes author index.
001451913 504__ $$aIncludes bibliographical references.
001451913 5050_ $$aInvited Talks -- Specification-Guided Reinforcement Learning -- Towards Efficient Reasoning of Quantum Programs -- Regular Papers -- Solving Invariant Generation for Unsolvable Loops -- Principles of Staged Static+Dynamic Partial Analysis -- SecWasm: Information Flow Control for WebAssembly -- Lifting Numeric Relational Domains to Algebraic Data Types -- Automated Synthesis of Asynchronizations -- Case Study on Veri cation-Witness Validators: Where We Are and Where We Go -- Deciding program properties via complete abstractions on bounded domains -- Invariant Inference With Provable Complexity From the Monotone Theory -- Efficient Modular SMT-Based Model Checking of Pointer Programs -- Property-driven code obfuscations - Reinterpreting Jones-optimality in Abstract Interpretation -- Bootstrapping Library-Based Synthesis -- Boosting Robustness Veri cation of Semantic Feature Neighborhoods -- Fast and incremental computation of weak control closure -- Local Completeness Logic on Kleene Algebra with Tests -- Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs -- Parameterized Recursive Re nement Types for Automated Program Verification -- Adversarial Logic -- CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks.
001451913 506__ $$aAccess limited to authorized users.
001451913 520__ $$aThis book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, New Zealand, in December 2022. The 18 full papers included in this book were carefully reviewed and selected from 43 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. .
001451913 588__ $$aDescription based on print version record.
001451913 650_0 $$aComputer programming$$vCongresses.
001451913 650_0 $$aProgramming languages (Electronic computers)$$vCongresses.
001451913 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001451913 655_0 $$aElectronic books.
001451913 7001_ $$aSingh, Gagandeep,$$eeditor.
001451913 7001_ $$aUrban, Caterina,$$eeditor.
001451913 77608 $$iPrint version:$$aInternational Static Analysis Symposium (29th : 2022 : Auckland, N.Z), creator.$$tStatic analysis.$$dCham : Springer Nature Switzerland, 2023$$z9783031223075$$w(OCoLC)1351681836
001451913 830_0 $$aLecture notes in computer science ;$$v13790.
001451913 830_0 $$aLecture notes in computer science.$$pAdvanced research in computing and software science.
001451913 852__ $$bebk
001451913 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-22308-2$$zOnline Access$$91397441.1
001451913 909CO $$ooai:library.usi.edu:1451913$$pGLOBAL_SET
001451913 980__ $$aBIB
001451913 980__ $$aEBOOK
001451913 982__ $$aEbook
001451913 983__ $$aOnline
001451913 994__ $$a92$$bISE