Titlebook: Rewriting Logic and Its Applications; 10th International W Santiago Escobar Conference proceedings 2014 Springer International Publishing S

雜技演員

書目名稱Rewriting Logic and Its Applications影響因子(影響力)




書目名稱Rewriting Logic and Its Applications影響因子(影響力)學(xué)科排名




書目名稱Rewriting Logic and Its Applications網(wǎng)絡(luò)公開度




書目名稱Rewriting Logic and Its Applications網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Rewriting Logic and Its Applications被引頻次




書目名稱Rewriting Logic and Its Applications被引頻次學(xué)科排名




書目名稱Rewriting Logic and Its Applications年度引用




書目名稱Rewriting Logic and Its Applications年度引用學(xué)科排名




書目名稱Rewriting Logic and Its Applications讀者反饋




書目名稱Rewriting Logic and Its Applications讀者反饋學(xué)科排名

Chronological

拒絕

constitute

ASSAY

Infirm

seroma

Infinite-State Model Checking of LTLR Formulas Using Narrowing,the concrete state space and the symbolic state space. A related theme is the use of additional state space reduction methods, such as folding and equational abstractions, that can in some cases yield a finite symbolic state space.

Cantankerous

Towards Static Analysis of Functional Programs Using Tree Automata Completion,letion algorithm to always terminate. In the particular setting of functional programs, this condition can be relaxed into a condition on . and . (terms built on the set of constructors) that is closer to what is done in the field of static analysis, where abstractions are performed on data.

愛管閑事

使入迷

An Integration of CafeOBJ into Full Maude,xtension; and we provide an alternative implementation for CafeOBJ that can be easily modified and extended. We present here the ideas for parsing and translating CafeOBJ specifications, and illustrate with examples the features listed above.