Titlebook: Static Analysis; 16th International S Jens Palsberg,Zhendong Su Conference proceedings 2009 Springer-Verlag Berlin Heidelberg 2009 abstract

Obsolescent

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




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




书目名称Static Analysis网络公开度




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




书目名称Static Analysis被引频次




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




书目名称Static Analysis年度引用




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




书目名称Static Analysis读者反馈




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

先驱

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.

法官

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

frozen-shoulder

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.

巫婆

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

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.

无法取消

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

钉牢

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

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