Titlebook: Static Analysis; 18th International S Eran Yahav Conference proceedings 2011 Springer-Verlag GmbH Berlin Heidelberg 2011 Concurrency.logic

concord

书目名称Static Analysis影响因子(影响力)




书目名称Static Analysis影响因子(影响力)学科排名




书目名称Static Analysis网络公开度




书目名称Static Analysis网络公开度学科排名




书目名称Static Analysis被引频次




书目名称Static Analysis被引频次学科排名




书目名称Static Analysis年度引用




书目名称Static Analysis年度引用学科排名




书目名称Static Analysis读者反馈




书目名称Static Analysis读者反馈学科排名

Emasculate

Purity Analysis: An Abstract Interpretation Formulation,tion formulation leads to a better understanding of the algorithm. More importantly, it makes it easier to change and extend the basic algorithm, while guaranteeing correctness, as illustrated by our optimizations.

Painstaking

Efficient Decision Procedures for Heaps Using STRAND,rithms. In this paper, we focus on the syntactically defined decidable fragment of ., and obtain a new and more efficient algorithm. Using a set of experiments obtained from verification conditions of heap-manipulating programs, we show the practical benefits of the new algorithm.

相信

红润

会议

栏杆

Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation,nsiderably speed up regression testing since static checking is much cheaper than dynamic checking and testing. We provide several checks ranging from simple syntactic ones to ones that use a theorem prover. We present preliminary experimental results comparing these approaches on three large Windows applications.

MODE

0302-9743 rs address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, data flow analysis, bug detection, program transformation, program verification, security analysis and type checking..978-3-642-23701-0978-3-642-23702-7Series ISSN 0302-9743 Series E-ISSN 1611-3349

choleretic

和平主义

Verifying Fence Elimination Optimisations,lation argument. The implementation and the proof of correctness are programmed in Coq as part of CompCertTSO, a fully-fledged certified compiler from a concurrent extension of a C-like language to x86 assembler. In this article, we describe the soundness proof of the optimisations and evaluate their effectiveness.