OPAC

検索結果一覧に戻る

Static Analysis : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings / edited by Manuel V. Hermenegildo, José F. Morales
(Lecture Notes in Computer Science. ISSN:16113349 ; 14284)

データ種別	電子ブック
版	1st ed. 2023.
出版者	(Cham : Springer Nature Switzerland : Imprint: Springer)
出版年	2023
大きさ	XIV, 566 p. 910 illus., 86 illus. in color : online resource
著者標目	Hermenegildo, Manuel V editor Morales, José F editor SpringerLink (Online service)

所蔵情報を非表示

URL	巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
URL		射水-電子	007	EB0004818	Computer Scinece R0 2005-6,2022-3				9783031442452

書誌詳細を非表示

一般注記	Verifying 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 Chapter 21 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com HTTP:URL=https://doi.org/10.1007/978-3-031-44245-2
件　名	LCSH:Computer science LCSH:Computer engineering LCSH:Computer networks LCSH:Natural language processing (Computer science) LCSH:Machine theory LCSH:Compilers (Computer programs) FREE:Computer Science Logic and Foundations of Programming FREE:Computer Engineering and Networks FREE:Natural Language Processing (NLP) FREE:Formal Languages and Automata Theory FREE:Compilers and Interpreters
分　類	LCC:QA75.5-76.95 DC23:004.0151
書誌ID	EB00004206
ISBN	9783031442452