Titlebook: Static Analysis; 30th International S Manuel V. Hermenegildo,José F. Morales Conference proceedings 2023 The Editor(s) (if applicable) and

Clientele

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




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




书目名称Static Analysis网络公开度




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




书目名称Static Analysis被引频次




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




书目名称Static Analysis年度引用




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




书目名称Static Analysis读者反馈




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

纤细

Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programscompute precise procedure summaries, and how to integrate these to obtain end-to-end roundoff error bounds. Our evaluation shows that compared to an inlining of procedure calls, our modular analysis is significantly faster, while nonetheless mostly computing relatively tight error bounds.

猛烈责骂

Quantum Constant Propagatione tool quantum constant propagation (QCP) and evaluated it on the circuits in the benchmark suite MQTBench. By applying our tool, only the work that cannot be carried out efficiently on a classical computer is left for the quantum computer, hence exploiting the strengths of both worlds.

inhibit

emission

搜集

羞辱

Unconstrained Variable Oracles for Faster Numeric Static Analysesision/efficiency trade-off of the analysis. A preliminary experimental evaluation shows that the idea underlying the approach is promising, as it improves the efficiency of the more costly analysis while having a limited effect on its precision.

不成比例

ADCL: Acceleration Driven Clause Learning for Constrained Horn Clausesally. This idea gives rise to a novel calculus for (dis)proving satisfiability of CHCs, called .. We implemented this new calculus in our tool . and evaluate it empirically in comparison to other state-of-the-art tools.

Medicare

改良