文献

J-GLOBAL ID：201702281999995101   整理番号：17A1098614

抽象類似性解析【Powered by NICT】

Abstract Similarity Analysis

著者 (2件)： Dalla Preda Mila (Dipartimento di Informatica, Universita degli studi di Verona, Italy) ,  Vidali Vanessa (Dipartimento di Informatica, Universita degli studi di Verona, Italy)
資料名： Electronic Notes in Theoretical Computer Science  (Electronic Notes in Theoretical Computer Science)
巻： 331  ページ： 87-99  発行年： 2017年 
JST資料番号： W2857A  ISSN： 1571-0661  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： コード類似性は,計算機科学の多くの分野における応用が見出されたプログラム解析の重要な成分である。制御フローグラフと依存性グラフのような,プログラムのグラフに基づく表現をコード類似性を決定するための基礎としてしばしば使用される。,二つのプログラムは類似しているかどうかを決定するために多くの類似性アルゴリズムはプログラムのグラフベース表現の特別な性質を観測した。本研究ではプログラムの類似性は,それらの制御フローグラフ表現の抽象化の項によって表現される,類似性解析のための一般的フレームワークを提案した。特に,制御フローグラフの基本ブロックの抽象化を考察した。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： プログラム解析 ,  *相似解 ,  グラフ ,  *類似性 ,  計算機科学 ,  アルゴリズム
準シソーラス用語： 制御フロー , 【Automatic Indexing@JST】

著者キーワード (2件)： コード類似性 ,  抽象的解釈

分類 (4件)： 計算理論  (JB02000A) ,  システムプログラミング一般  (JD03010Y) ,  グラフ理論基礎  (IA02020S) ,  論理回路  (NC05070B)

タイトルに関連する用語 (2件)： 抽象 ,  類似性解析