Obsolescent
发表于 2025-3-21 19:57:21
书目名称Static Analysis影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0876216<br><br> <br><br>书目名称Static Analysis影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0876216<br><br> <br><br>书目名称Static Analysis网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0876216<br><br> <br><br>书目名称Static Analysis网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0876216<br><br> <br><br>书目名称Static Analysis被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0876216<br><br> <br><br>书目名称Static Analysis被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0876216<br><br> <br><br>书目名称Static Analysis年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0876216<br><br> <br><br>书目名称Static Analysis年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0876216<br><br> <br><br>书目名称Static Analysis读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0876216<br><br> <br><br>书目名称Static Analysis读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0876216<br><br> <br><br>
先驱
发表于 2025-3-21 23:04:31
Conference proceedings 2009tract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.
法官
发表于 2025-3-22 04:10:44
0302-9743 mains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.978-3-642-03236-3978-3-642-03237-0Series ISSN 0302-9743 Series E-ISSN 1611-3349
hegemony
发表于 2025-3-22 05:37:37
http://reply.papertrans.cn/88/8763/876216/876216_4.png
frozen-shoulder
发表于 2025-3-22 11:58:14
The Causal Graph Revisited for Directed Model Checkingusal graph analysis, we first adapt a distance estimation function from AI planning to directed model checking. Furthermore, we investigate an abstraction that is guaranteed to preserve error states. The experimental evaluation shows the practical potential of these techniques.
巫婆
发表于 2025-3-22 15:15:03
Proving the Correctness of the Implementation of a Control-Command Algorithmence as the fixpoint of a monotone map. We present a prototype analyzer that computes such invariants for C programs using a simple specification language for describing the continuous environment. It shows good results on classical benchmarks for hybrid systems verification.
forbid
发表于 2025-3-22 17:35:34
Increasing the Scope and Resolution of Interprocedural Static Single Assignmentition. We propose and evaluate an interprocedural copy propagation and an interprocedural liveness analysis and demonstrate their effectiveness on reducing input and output instructions by 44.5% and 23.3%, respectively. ISSA is then leveraged for constant propagation and dead code removal, where 11.8% additional expressions are folded.
无法取消
发表于 2025-3-22 21:58:30
Conference proceedings 2009t 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science.The 21 revised full papers presented together with two invited lectures were carefully reviewed and selected from 52 submissions. The papers address all aspects of static analysis including abstract domains, abs
钉牢
发表于 2025-3-23 03:54:01
Algorithmic Program Synthesis with Partial Programs and Decision Proceduresd its implementation tricks. In deductive synthesis, the insights are captured by domain theories, often elusive and always requiring formal expertise. To bring synthesis to everyday programmers, we have been exploring algorithmic synthesis, which is to deductive synthesis what model checking is to
Debility
发表于 2025-3-23 07:33:08
Algorithmic Verification of Systems Software Using SMT Solversvariety of scalable program analysis tools have been developed. These tools, based primarily on techniques such as type systems and dataflow analysis, scale to large and realistic programs. However, to achieve scalability they sacrifice precision, resulting in a significant number of false error rep