語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Static Analysis = 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings /
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
Static Analysis/ edited by Gagandeep Singh, Caterina Urban.
其他題名:
29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings /
其他作者:
Urban, Caterina.
面頁冊數:
X, 475 p. 119 illus., 61 illus. in color.online resource. :
Contained By:
Springer Nature eBook
標題:
Compilers and Interpreters. -
電子資源:
https://doi.org/10.1007/978-3-031-22308-2
ISBN:
9783031223082
Static Analysis = 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings /
Static Analysis
29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings /[electronic resource] :edited by Gagandeep Singh, Caterina Urban. - 1st ed. 2022. - X, 475 p. 119 illus., 61 illus. in color.online resource. - Lecture Notes in Computer Science,137901611-3349 ;. - Lecture Notes in Computer Science,9324.
Invited 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.
This 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. .
ISBN: 9783031223082
Standard No.: 10.1007/978-3-031-22308-2doiSubjects--Topical Terms:
1365748
Compilers and Interpreters.
LC Class. No.: QA75.5-76.95
Dewey Class. No.: 004.0151
Static Analysis = 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings /
LDR
:03270nam a22004095i 4500
001
1086147
003
DE-He213
005
20221201192920.0
007
cr nn 008mamaa
008
221228s2022 sz | s |||| 0|eng d
020
$a
9783031223082
$9
978-3-031-22308-2
024
7
$a
10.1007/978-3-031-22308-2
$2
doi
035
$a
978-3-031-22308-2
050
4
$a
QA75.5-76.95
072
7
$a
UYA
$2
bicssc
072
7
$a
COM051000
$2
bisacsh
072
7
$a
UYA
$2
thema
082
0 4
$a
004.0151
$2
23
245
1 0
$a
Static Analysis
$h
[electronic resource] :
$b
29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings /
$c
edited by Gagandeep Singh, Caterina Urban.
250
$a
1st ed. 2022.
264
1
$a
Cham :
$b
Springer Nature Switzerland :
$b
Imprint: Springer,
$c
2022.
300
$a
X, 475 p. 119 illus., 61 illus. in color.
$b
online resource.
336
$a
text
$b
txt
$2
rdacontent
337
$a
computer
$b
c
$2
rdamedia
338
$a
online resource
$b
cr
$2
rdacarrier
347
$a
text file
$b
PDF
$2
rda
490
1
$a
Lecture Notes in Computer Science,
$x
1611-3349 ;
$v
13790
505
0
$a
Invited 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.
520
$a
This 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. .
650
2 4
$a
Compilers and Interpreters.
$3
1365748
650
2 4
$a
Formal Languages and Automata Theory.
$3
1365747
650
2 4
$a
Natural Language Processing (NLP).
$3
1254293
650
2 4
$a
Computer Engineering and Networks.
$3
1365733
650
1 4
$a
Computer Science Logic and Foundations of Programming.
$3
1365757
650
0
$a
Compilers (Computer programs).
$3
975050
650
0
$a
Machine theory.
$3
527775
650
0
$a
Natural language processing (Computer science).
$3
802180
650
0
$a
Computer networks .
$3
1365720
650
0
$a
Computer engineering.
$3
569006
650
0
$a
Computer science.
$3
573171
700
1
$a
Urban, Caterina.
$e
editor.
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
1392841
700
1
$a
Singh, Gagandeep.
$e
editor.
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
1392840
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer Nature eBook
776
0 8
$i
Printed edition:
$z
9783031223075
776
0 8
$i
Printed edition:
$z
9783031223099
830
0
$a
Lecture Notes in Computer Science,
$x
0302-9743 ;
$v
9324
$3
1258960
856
4 0
$u
https://doi.org/10.1007/978-3-031-22308-2
912
$a
ZDB-2-SCS
912
$a
ZDB-2-SXCS
912
$a
ZDB-2-LNC
950
$a
Computer Science (SpringerNature-11645)
950
$a
Computer Science (R0) (SpringerNature-43710)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入