JAIST Repository >
School of Information Science >
Articles >
Journal Articles >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/7924

Title: Transformation of Strictness-Related Analyses Based on Abstract Interpretation
Authors: Ogawa, Mizuhito
Ono, Satoshi
Issue Date: 1991-02-20
Publisher: 電子情報通信学会
Magazine name: IEICE TRANSACTIONS on Information and Systems
Volume: E74-D
Number: 2
Start page: 406
End page: 416
Abstract: 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
Material Type: publisher
Appears in Collections:b10-1. 雑誌掲載論文 (Journal Articles)

Files in This Item:

File Description SizeFormat
IEICE91.pdf852KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.

 


Contact : Library Information Section, Japan Advanced Institute of Science and Technology