지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 소프트웨어 및 응용 정보과학회논문지 : 소프트웨어 및 응용 제40권 제10호
- 발행연도
- 2013.10
- 수록면
- 609 - 619 (11page)
이용수
초록· 키워드
오류제보하기
집합-기반 분석을 보다 굵은 수준으로 설계할 수 있는 변환-기반 방법이 제안되었다. 이 방법을 이용하면 식-수준의 분석으로부터 규칙 변환을 통해 덜 정확하지만 보다 효율적인 분석을 설계할 수 있다. 이 방법은 원래 분석이 각 식에 대해서 하나의 집합 변수를 구성하는 식-수준에서 설계되었다고 가정하였으므로, 식-수준의 분석에만 적용 가능하다는 한계를 가지고 있다. 그러나 이 아이디어는 꼭 식 수준에 한정될 필요가 없으며 확장될 필요가 있다. 본 연구에서는 규칙-변환 방법을 확장하여 어느 수준의 분석에도 적용될 수 있도록 확장하고 이를 통해 실용적인 집합-기반 분석을 설계할 수 있는 다단계 규칙-변환 메커니즘을 제시한다. 또한 이 변환 메커니즘을 이용하여 프로시저 사이의 제어흐름을 보여주는 Java 언어를 위한 다양한 수준의 제어흐름 분석들 사이의 관계를 조명하고 이를 정리한다.
목차
요약
Abstract
1. Introduction
2. Preliminaries
3. Multi-level rule transformation
4. Multi-level of control flow analyses
5. Discussion
6. Conclusion
References
참고문헌 (12)
참고문헌 신청
1. [학위논문] - N. Heintze / 1992 / Set-Based Program Analysis / 박사 / CMU
2. [학술대회논문] - P. Cousot. / 1995 / Grammars and Set-Constraint-Based Program Analysis by Abstract Interpretation / Proc. of Conf. on Functional Programming Languages and Com-puter Architecture : 25 ~ 28
3. [학술대회논문] - E. Duesterwald. / 1994 / Reducing the Cost of Data Flow Analysis by Congruence Partitioning / Proc. of Int. Conf. on Compiler Construction
4. [학술대회논문] - M. Fahndrich. / 1998 / Partial Online Cycle Elimination in Inclusion Constraint Graphs / Proc. of ACM PLDI
5. [학술대회논문] - F. Tip. / 2000 / Scalable propagation-based call graph construction algorithms / Proc. of ACM OOPSLA
2. [학술대회논문] - P. Cousot. / 1995 / Grammars and Set-Constraint-Based Program Analysis by Abstract Interpretation / Proc. of Conf. on Functional Programming Languages and Com-puter Architecture : 25 ~ 28
3. [학술대회논문] - E. Duesterwald. / 1994 / Reducing the Cost of Data Flow Analysis by Congruence Partitioning / Proc. of Int. Conf. on Compiler Construction
4. [학술대회논문] - M. Fahndrich. / 1998 / Partial Online Cycle Elimination in Inclusion Constraint Graphs / Proc. of ACM PLDI
5. [학술대회논문] - F. Tip. / 2000 / Scalable propagation-based call graph construction algorithms / Proc. of ACM OOPSLA
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2014-560-002792014