- HOME
- 홈페이지 이용안내
논문 기본정보
An Improved Algorithm for Redundancy Detection Using Global Value Numbering
논문 개요
| 기관명 | NDSL |
|---|---|
| 저널명 | Journal of information processing systems |
| ISSN | 1976-913x, |
| ISBN |
논문저자 및 소속기관 정보
| 저자(한글) | Saleena, Nabizath,Paleri, Vineeth |
|---|---|
| 저자(영문) | |
| 소속기관 | |
| 소속기관(영문) | |
| 출판인 | |
| 간행물 번호 | |
| 발행연도 | 2016-01-01 |
| 초록 | Global value numbering (GVN) is a method for detecting equivalent expressions in programs. Most of the GVN algorithms concentrate on detecting equalities among variables and hence, are limited in their ability to identify value-based redundancies. In this paper, we suggest improvements by which the efficient GVN algorithm by Gulwani and Necula (2007) can be made to detect expression equivalences that are required for identifying value based redundancies. The basic idea for doing so is to use an anticipability-based Join algorithm to compute more precise equivalence information at join points. We provide a proof of correctness of the improved algorithm and show that its running time is a polynomial in the number of expressions in the program. |
| 원문URL | http://click.ndsl.kr/servlet/OpenAPIDetailView?keyValue=03553784&target=NART&cn=JAKO201621650894669 |
| 첨부파일 |
추가정보
| 과학기술표준분류 | |
|---|---|
| ICT 기술분류 | |
| DDC 분류 | |
| 주제어 (키워드) | Equivalent Expression,Global Value Numbering,Herbrand Equivalence,Strong Equivalence Dag |