000 03989nam a22005655i 4500
001 978-3-030-32304-2
003 DE-He213
005 20240730165243.0
007 cr nn 008mamaa
008 191005s2019 sz | s |||| 0|eng d
020 _a9783030323042
_9978-3-030-32304-2
024 7 _a10.1007/978-3-030-32304-2
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aStatic Analysis
_h[electronic resource] :
_b26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings /
_cedited by Bor-Yuh Evan Chang.
250 _a1st ed. 2019.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2019.
300 _aXIV, 481 p. 2137 illus., 374 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v11822
505 0 _aRethinking Static Analysis by Combining Discrete and Continuous Reasoning -- Static Analysis of Data Science Software -- Fast and Precise Handling of Positive Weight Cycles for Field-sensitive Pointer Analysis -- Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis -- Syntactic and Semantic Soundness of Structural Dataflow Analysis -- Abstract Interpretation of Indexed Grammars -- Language Inclusion Algorithms as Complete Abstract Interpretations -- On the Monniaux Problem in Abstract Interpretation -- Revisiting Polyhedral Analysis for Hybrid Systems -- An efficient parametric linear programming solver and application to polyhedral projection -- Analysis of Software Patches using Numerical Abstract Interpretation -- Verifying Numerical Programs via Iterative Abstract Testing -- Robustness Verification of Support Vector Machines -- Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification -- Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants -- Direct Manipulation for Imperative Programs -- Responsibility Analysis by Abstract Interpretation -- Temporal Verification of Programs via First-Order Fixpoint Logic -- A Temporal Logic for Higher-Order Functional Programs -- Multiphase-Linear Ranking Functions and their Relation to Recurrent Sets.
520 _aThis book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019. The 20 regular papers presented in this book were carefully reviewed and selected from 50 submissions. The papers are grouped in topical sections on pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning; synthesis and security; and temporal properties and termination.
650 0 _aComputer science.
_99832
650 0 _aSoftware engineering.
_94138
650 0 _aCompilers (Computer programs).
_93350
650 0 _aMachine theory.
_988080
650 1 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aCompilers and Interpreters.
_931853
650 2 4 _aFormal Languages and Automata Theory.
_988082
700 1 _aChang, Bor-Yuh Evan.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_988083
710 2 _aSpringerLink (Online service)
_988084
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030323035
776 0 8 _iPrinted edition:
_z9783030323059
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v11822
_988085
856 4 0 _uhttps://doi.org/10.1007/978-3-030-32304-2
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c86197
_d86197