001440341 000__ 04706cam\a2200661\a\4500
001440341 001__ 1440341
001440341 003__ OCoLC
001440341 005__ 20230309004557.0
001440341 006__ m\\\\\o\\d\\\\\\\\
001440341 007__ cr\un\nnnunnun
001440341 008__ 211016s2021\\\\sz\\\\\\o\\\\\101\0\eng\d
001440341 020__ $$a9783030888060$$q(electronic bk.)
001440341 020__ $$a3030888061$$q(electronic bk.)
001440341 020__ $$z3030888053
001440341 020__ $$z9783030888053
001440341 0247_ $$a10.1007/978-3-030-88806-0$$2doi
001440341 035__ $$aSP(OCoLC)1276847721
001440341 040__ $$aYDX$$beng$$epn$$cYDX$$dGW5XE$$dOCLCF$$dOCLCO$$dOCLCQ$$dCOM$$dOCLCO$$dOCLCQ
001440341 049__ $$aISEA
001440341 050_4 $$aQA76.6
001440341 08204 $$a005.1$$223
001440341 1112_ $$aInternational Static Analysis Symposium$$n(28th :$$d2021 :$$cChicago, Ill.)
001440341 24510 $$aStatic analysis :$$b28th international symposium, SAS 2021, Chicago, IL, USA, proceedings /$$cCezara Drăgoi, Suvam Mukherjee, Kedar Namjoshi (eds.).
001440341 2463_ $$aSAS 2021
001440341 260__ $$aCham, Switzerland :$$bSpringer,$$c2021.
001440341 300__ $$a1 online resource
001440341 336__ $$atext$$btxt$$2rdacontent
001440341 337__ $$acomputer$$bc$$2rdamedia
001440341 338__ $$aonline resource$$bcr$$2rdacarrier
001440341 4901_ $$aLecture notes in computer science ;$$v12913
001440341 4901_ $$aAdvanced research in computing and software science
001440341 4901_ $$aLNCS sublibrary, SL 2, Programming and software engineering
001440341 500__ $$aIncludes author index.
001440341 5050_ $$aFast 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 BellmanFord 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.
001440341 506__ $$aAccess limited to authorized users.
001440341 520__ $$aThis book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021. The 18 regular and 4 short papers, carefully reviewed and selected from 48 submissions, are presented in this book together with 1-page summaries of the three invited talks. The papers cover topics such as static program analysis, abstract domain, abstract interpretation, automated deduction, debugging techniques, deductive methods, model checking, data science, program optimizations and transformations, program synthesis, program verification, and security analysis.
001440341 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 22, 2021).
001440341 650_0 $$aComputer programming$$vCongresses.
001440341 650_0 $$aSoftware engineering$$vCongresses.
001440341 650_6 $$aProgrammation (Informatique)$$vCongrès.
001440341 650_6 $$aGénie logiciel$$vCongrès.
001440341 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001440341 655_7 $$aConference papers and proceedings.$$2lcgft
001440341 655_7 $$aActes de congrès.$$2rvmgf
001440341 655_0 $$aElectronic books.
001440341 7001_ $$aDrăgoi, Cezara,$$eeditor.
001440341 7001_ $$aMukherjee, Suvam,$$eeditor.
001440341 7001_ $$aNamjoshi, Kedar S.,$$eeditor.
001440341 77608 $$iPrint version:$$aInternational Static Analysis Symposium (28th : 2021 : Chicago, Ill.).$$tStatic analysis.$$dCham, Switzerland : Springer, 2021$$z3030888053$$z9783030888053$$w(OCoLC)1267584451
001440341 830_0 $$aLecture notes in computer science ;$$v12913.
001440341 830_0 $$aLecture notes in computer science.$$pAdvanced research in computing and software science.
001440341 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
001440341 852__ $$bebk
001440341 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-88806-0$$zOnline Access$$91397441.1
001440341 909CO $$ooai:library.usi.edu:1440341$$pGLOBAL_SET
001440341 980__ $$aBIB
001440341 980__ $$aEBOOK
001440341 982__ $$aEbook
001440341 983__ $$aOnline
001440341 994__ $$a92$$bISE