개인구독
소속 기관이 없으신 경우, 개인 정기구독을 하시면 저렴하게
논문을 무제한 열람 이용할 수 있어요.
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 소프트웨어 및 응용 정보과학회논문지 : 소프트웨어 및 응용 제39권 제5호
- 발행연도
- 2012.5
- 수록면
- 409 - 414 (6page)
이용수
이 논문의 연구 히스토리 (2)
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
이 논문에서는 정적으로 2단계 언어의 불필요한 식을 안전하게 찾는 간섭분석 방법을 제안한다. 불필요한 식이란 식의 실행이 전체 프로그램의 실행 결과에 영향을 미치지 않는 식을 말하고, 간섭분석이란 프로그램의 최종 결과에 영향을 미치는 식들을 찾아내는 분석을 말한다. 정적으로 불필요한 식을 찾으면 전체 프로그램 실행에 드는 비용을 줄일 수 있다. 이 분석은 타입 시스템에 올라탄 분석에 기반한다. 타입 규칙을 디자인하고 안전성을 증명하였으며, 이를 위한 알고리즘을 디자인하고 올바름을 증명하였다. 또한 다형 타입을 지원하도록 타입 규칙을 확장하였으며 그 안전성도 증명하였다.
목차
요약
Abstract
1. 서론
2. 2단계 언어
3. 타입 시스템
4. 다형타입
5. 관련연구
6. 결론 및 향후 과제
참고문헌
참고문헌 (6)
참고문헌 신청
1. [학술지(정기간행물)] - Jean-Pierre Talpin / 1992 / Polymorphic type, region and effect inference / Journal of Functional Programming 2 (3) : 245 ~ 271
2. [학술대회논문] - Sungkuen Cho / 2011 / Static Useless-Code-Detection for Two-Stage Language / Proc. of the KIISE Korea Computer Congress 2011 38 (1(C)) : 478 ~ 481
3. [학술대회논문] - Ik-Soon Kim / 2006 / A Polymorphic Modal Type System for Lisp-like Multi-Staged Languages / POPL 2006: ACM Symposium on Principles of Programming Languages : 257 ~ 268
4. [학술지(정기간행물)] - Robin Milner / 1978 / A theory of type polymorphism in programming / Journal of Computer and System Sciences 17 (3) : 348 ~ 375
5. [학술대회논문] - François Pottier / 2002 / Information Flow Inference for ML / POPL 2002: ACM Symposium on Principles of Programming Languages : 319 ~ 330
2. [학술대회논문] - Sungkuen Cho / 2011 / Static Useless-Code-Detection for Two-Stage Language / Proc. of the KIISE Korea Computer Congress 2011 38 (1(C)) : 478 ~ 481
3. [학술대회논문] - Ik-Soon Kim / 2006 / A Polymorphic Modal Type System for Lisp-like Multi-Staged Languages / POPL 2006: ACM Symposium on Principles of Programming Languages : 257 ~ 268
4. [학술지(정기간행물)] - Robin Milner / 1978 / A theory of type polymorphism in programming / Journal of Computer and System Sciences 17 (3) : 348 ~ 375
5. [학술대회논문] - François Pottier / 2002 / Information Flow Inference for ML / POPL 2002: ACM Symposium on Principles of Programming Languages : 319 ~ 330
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0