Eグラフに関する抽象解釈【JST・京大機械翻訳】

Coward Samuel; Constantinides George A.; Drane Theo

プレプリント

J-GLOBAL ID：202202216956548729 整理番号：22P0305841

Eグラフに関する抽象解釈【JST・京大機械翻訳】

Abstract Interpretation on E-Graphs

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (3件)： , ,
資料名：
発行年： 2022年03月17日プレプリントサーバーでの情報更新日： 2022年03月17日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

最近のe-グラフアプリケーションは,表現の具体的意味を典型的に考慮し,そこでは,表現の具体的解釈から等価幹の概念が生じている。しかし,1つの解釈を超える等価性は,代替解釈では保持されないかもしれない。このような観察を利用できる。eグラフに対する抽象解釈の適用を考察し,eグラフ内では,抽象領域に関連した格子はeクラスに対する自然な解釈を持ち,過剰近似における精度の改善に導くことを示した。この拡張抽象において,著者らは,この点を例証するために,区間アルゴリズム(IA)を使用した。【JST・京大機械翻訳】

, , , ,

計算機システム開発 , 計算理論

前のページに戻る