Titlebook: Static Analysis; 21st International S Markus Müller-Olm,Helmut Seidl Conference proceedings 2014 Springer International Publishing Switzerl

傳家寶

書目名稱Static Analysis影響因子(影響力)




書目名稱Static Analysis影響因子(影響力)學(xué)科排名




書目名稱Static Analysis網(wǎng)絡(luò)公開度




書目名稱Static Analysis網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Static Analysis被引頻次




書目名稱Static Analysis被引頻次學(xué)科排名




書目名稱Static Analysis年度引用




書目名稱Static Analysis年度引用學(xué)科排名




書目名稱Static Analysis讀者反饋




書目名稱Static Analysis讀者反饋學(xué)科排名

Tractable

neolith

Invariance of Conjunctions of Polynomial Equalities for Algebraic Differential Equations,s. The procedure is based on a necessary and sufficient condition that characterizes invariant conjunctions of polynomial equalities. We contrast this approach to an alternative one which combines fast and sufficient (but not necessary) conditions using differential cuts for soundly restricting the system evolution domain.

yohimbine

Conference proceedings 2014 aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.

內(nèi)閣

0302-9743 ddress all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.978-3-319-10935-0978-3-319-10936-7Series ISSN 0302-9743 Series E-ISSN 1611-3349

emission

Peak Cost Analysis of Distributed Systems,tion is the novel notion of . which captures the worst-case cost of the tasks that may be simultaneously pending to execute at each location along the execution. A prototype implementation demonstrates the accuracy and feasibility of the proposed peak cost analysis.

JUST

Expectation Invariants for Probabilistic Program Loops as Fixed Points,ent an iterative analysis that synthesizes expectation invariants for probabilistic program loops. We show how the standard polyhedral abstract domain can be used to synthesize expectation invariants for probabilistic programs, and demonstrate the usefulness of our approach on some examples of probabilistic program loops.

施加

語言學(xué)

ANA

Synthesis of Memory Fences via Refinement Propagation,reduces the time required to discover a proof for ...We implemented our technique and successfully applied it to several challenging concurrent algorithms, including state of the art concurrent work-stealing queues.