001482715 000__ 04627cam\\22006137i\4500
001482715 001__ 1482715
001482715 003__ OCoLC
001482715 005__ 20231128003348.0
001482715 006__ m\\\\\o\\d\\\\\\\\
001482715 007__ cr\un\nnnunnun
001482715 008__ 231030s2023\\\\sz\a\\\\o\\\\\101\0\eng\d
001482715 019__ $$a1406019108$$a1406409612
001482715 020__ $$a9783031442452$$q(electronic bk.)
001482715 020__ $$a3031442458$$q(electronic bk.)
001482715 020__ $$z9783031442445
001482715 020__ $$z303144244X
001482715 0247_ $$a10.1007/978-3-031-44245-2$$2doi
001482715 035__ $$aSP(OCoLC)1406780154
001482715 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP$$dYDX$$dOCLCO
001482715 049__ $$aISEA
001482715 050_4 $$aQA76.6$$b.I58 2023
001482715 08204 $$a005.1$$223/eng/20231030
001482715 1112_ $$aInternational Static Analysis Symposium$$n(30th :$$d2023 :$$cCascais, Portugal)
001482715 24510 $$aStatic analysis :$$b30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings /$$cManuel V. Hermenegildo, José F. Morales, editors.
001482715 2463_ $$aSAS 2023
001482715 264_1 $$aCham :$$bSpringer,$$c2023.
001482715 300__ $$a1 online resource (xiv, 566 pages) :$$billustrations (some color).
001482715 336__ $$atext$$btxt$$2rdacontent
001482715 337__ $$acomputer$$bc$$2rdamedia
001482715 338__ $$aonline resource$$bcr$$2rdacarrier
001482715 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v14284
001482715 4901_ $$aAdvanced research in computing and software science
001482715 500__ $$aIncludes author index.
001482715 5050_ $$aVerifying Infinitely Many Programs at Once -- Abstract Interpretation in Industry - Experience and Lessons Learned -- Building Trust and Safety in Artificial Intelligence with Abstract Interpretation -- Modular Optimization-Based Roundo Error Analysis of Floating-Point Programs -- Unconstrained Variable Oracles for Faster Numeric Static Analyses -- Symbolic transformation of expressions in modular arithmetic -- A Formal Framework to Measure the Incompleteness of Abstract Interpretations -- BREWasm: A General Static Binary Rewriting Framework for WebAssembly -- Quantum Constant Propagation -- Error Invariants for Fault Localization via Abstract Interpretation -- Generalized Program Sketching by Abstract Interpretation and Logical Abduction -- Mutual Refinements of Context-Free Language Reachability -- ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses -- How fitting is your abstract domain? -- A Product of Shape and Sequence Abstractions -- Error Localization for Sequential Effect Systems -- Scaling up Roundo Analysis of Functional Data Structure Programs -- Reverse Template Processing using Abstract Interpretation -- Domain Precision in Galois Connection-less Abstract Interpretation -- Lifting On-Demand Analysis to Highe-Order Languages -- Octagons Revisited - Elegant Proofs and Simplified Algorithms -- Polynomial Analysis of Modular Arithmetic -- Boosting Multi-Neuron Convex Relaxation for Neural Network Verification.
001482715 506__ $$aAccess limited to authorized users.
001482715 520__ $$aThis book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023. The 20 full papers included in this book were carefully reviewed and selected from 40 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.
001482715 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 30, 2023).
001482715 650_0 $$aComputer programming$$vCongresses.
001482715 650_0 $$aProgramming languages (Electronic computers)$$vCongresses.
001482715 650_6 $$aProgrammation (Informatique)$$vCongrès.
001482715 655_0 $$aElectronic books.
001482715 7001_ $$aHermenegildo, Manuel,$$eeditor.$$1https://orcid.org/0000-0002-7583-323X
001482715 7001_ $$aMorales, José F.$$c(Writer on computer software),$$eeditor.$$1https://orcid.org/0000-0001-9782-8135
001482715 77608 $$iPrint version: $$z303144244X$$z9783031442445$$w(OCoLC)1394114249
001482715 830_0 $$aLecture notes in computer science ;$$v14284.$$x1611-3349
001482715 830_0 $$aLecture notes in computer science.$$pAdvanced research in computing and software science.
001482715 852__ $$bebk
001482715 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-44245-2$$zOnline Access$$91397441.1
001482715 909CO $$ooai:library.usi.edu:1482715$$pGLOBAL_SET
001482715 980__ $$aBIB
001482715 980__ $$aEBOOK
001482715 982__ $$aEbook
001482715 983__ $$aOnline
001482715 994__ $$a92$$bISE