検証からの抽象

NAIK Mayur; YANG Hongseok; CASTELNUOVO Ghila; SAGIV Mooly

文献

J-GLOBAL ID：201202225324567541 整理番号：12A0581850

検証からの抽象

Abstractions from Tests

出版者サイト複写サービスで全文入手
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=12A0581850&from=J-GLOBAL&jstjournalNo=D0915A") }}

著者 (4件)： , , ,
資料名：
巻： 47 号： 1 ページ： 373-385 発行年： 2012年01月
JST資料番号： D0915A ISSN： 0362-1340 資料種別：逐次刊行物 (A)
記事区分：原著論文発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

抽象解釈技法に基づいた静的解析は健全である事が保証されている。静的解析において良好な抽象の効率的な検出は積年の問題である。パラメータ化された静的解析は与えられたクエリに対する抽象を特殊化するための柔軟性を提供するが,適切なパラメータ構成に対する困難な探索をも課す。本論文において,筆者らは与えられたクエリ証明用のパラメータ構成に関する必要条件を計算するための動的解析を用いてこの問題に対する新規の解を提示した。この際,スレッド-エスケープ解析及びポインタ解析という2つの具体解析に対する建設的アルゴリズムを与えた。筆者らはこれらのアルゴリズムが実際に必要条件を計算する事を証明し,実践においてこれらのアルゴリズムが効率的で,結果の静的解析が正確かつスケーラブルである事を示した。

, , , , , ,
, ,

言語プロセッサ

前のページに戻る