JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/7924
|
タイトル: | Transformation of Strictness-Related Analyses Based on Abstract Interpretation |
著者: | Ogawa, Mizuhito Ono, Satoshi |
発行日: | 1991-02-20 |
出版者: | 電子情報通信学会 |
誌名: | IEICE TRANSACTIONS on Information and Systems |
巻: | E74-D |
号: | 2 |
開始ページ: | 406 |
終了ページ: | 416 |
抄録: | This paper newly proposes HOMomorphic Transformer (HOMT) in order to formalize relations among strictness-related analyses (SRAs) on first-order functional programs. A HOMT is defined to be a composition of special instances of abstract interpretation, and has enough ability to treat known SRAs including head/tail/total strictness detection on nonflat domains. A set of HOMTs, furthermore, is an algebraic space such that some composition of HOMTs can be reduced to a simpler HOMT. This structure gives a transformational mechanism between various SRAs, and further clarifies the equivalence and the hierarchy among them. First, we show a construction of a HOMT as a composition of Unit-HOMTs (U-HOMTs) which are specified by quadruplet representations. Second, algebraic relations among HOMTs are shown as reduction rules among specific pairs of quadruplet representations. Thus, hierarchy among HOMTs can be clarified by finding some adequate quadruplet representation which bridges a HOMT to the other. Third, various SRAs are formalized as HOMTs in either forward or back-ward manners. They are also shown to be safe under unified discussions. Finally, their equivalence and hierarchy are examined in terms of an algebraic structure of HOMTs. |
Rights: | Copyright (C)1991 IEICE. Mizuhito Ogawa and Satoshi Ono, IEICE TRANSACTIONS on Information and Systems, E74-D(2), 1991, 406-416. http://www.ieice.org/jpn/trans_online/ |
URI: | http://hdl.handle.net/10119/7924 |
資料タイプ: | publisher |
出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
ファイル |
記述 |
サイズ | 形式 |
IEICE91.pdf | | 852Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|