.png){kind=icon}
返回
Efficient relational calculation for software analysis
.png){kind=icon}
OA
AI
DOI：10.1109/TSE.2005.23.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Calculating with graphs and relations has many applications in the analysis of software systems, for example, the detection of design patterns or patterns of problematic design and the computation of design metrics. These applications require an expressive query language, in particular, for the detection of graph patterns, and an efficient evaluation of the queries even for large graphs. In this paper, we introduce RML, a simple language for querying and manipulating relations based on predicate calculus, and CrocoPat, an interpreter for RML programs. RML is general because it enables the manipulation not only of graphs (i.e., binary relations), but of relations of arbitrary arity. CrocoPat executes RML programs efficiently because it internally represents relations as binary decision diagrams, a data structure that is well-known as a compact representation of large relations in computer-aided verification. We evaluate RML by giving example programs for several software analyses and CrocoPat by comparing its performance with calculators for binary relations, a Prolog system, and a relational database management system.
Keyword:
logic programming
graph algorithms
data structures
reverse engineering
reengineering
期刊
IF:
5.6
论文数:
2.9K
被引数:
1.1W
机构
暂无机构信息
引用论文
Solvent-free cascade reaction: direct multicomponent assembling of 2-amino-4H-chromene scaffold from salicylaldehyde, malononitrile or cyanoacetate and nitroalkanes.png)
Tetrahedron
TetrahedronIF0
PREAI
分享收藏
查看更多内容