Managing the granularity of constraint-based analyses by rule transformation
- Authors
- Chang, BM
- Issue Date
- Jul-2002
- Publisher
- ELSEVIER SCIENCE BV
- Keywords
- set-constraints; set-based analysis; rule transformation
- Citation
- INFORMATION PROCESSING LETTERS, v.83, no.2, pp 79 - 88
- Pages
- 10
- Journal Title
- INFORMATION PROCESSING LETTERS
- Volume
- 83
- Number
- 2
- Start Page
- 79
- End Page
- 88
- URI
- https://scholarworks.sookmyung.ac.kr/handle/2020.sw.sookmyung/16407
- DOI
- 10.1016/S0020-0190(01)00314-3
- ISSN
- 0020-0190
1872-6119
- Abstract
- This paper proposes a transformation-based approach to design efficient constraint-based analysis at a larger granularity. In this approach, we can design a less or equally precise but more efficient version of an original analysis by rule transformation. To do this, we first define or design an index determination rule for a new sparse analysis based on some syntactic properties, so that it can partition the original indices, and then transform the original construction rules into new ones by applying the partition. As applications of this approach, we presents sparse versions of side-effect analysis and exception analysis, which give equally precise information for functions as the original ones. (C) 2001 Elsevier Science B.V. All rights reserved.
- Files in This Item
-
Go to Link
- Appears in
Collections - 공과대학 > 소프트웨어학부 > 1. Journal Articles
![qrcode](https://api.qrserver.com/v1/create-qr-code/?size=55x55&data=https://scholarworks.sookmyung.ac.kr/handle/2020.sw.sookmyung/16407)
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.