지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 한국정보과학회 학술발표논문집 한국정보과학회 2011가을 학술발표논문집 제38권 제2호(A)
- 발행연도
- 2011.11
- 수록면
- 377 - 380 (4page)
이용수
이 논문의 연구 히스토리 (2)
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
많은 프로그래밍 언어들이 암시적 프로그래밍(Implicit programming)을 지원하고 있다. 대표적인 예로 하스켈 타입 클래스와 C++ 템플릿을 들 수 있다. 하지만, 많은 유용한 기능들이 초기 설계단계에서 빠져있어 그 한계가 드러나고 있는 상황이다. 일례로, 하스켈의 경우 모든 타입 클래스의 인스턴스가 전역 범위로 선언되어야 하고 인스턴스를 값처럼 사용할 수 없다는 한계를 가지고 있다.
본 논문에서는 암시적 프로그래밍을 위한 계산 언어인 λ<SUB>⇒</SUB> 를 제안한다. λ<SUB>⇒</SUB> 계산 언어는 널리 사용되는 암시적 프로그래밍 구현의 핵심을 모두 포섭하면서도 그 구현들에서 발견되는 한계점을 지니지 않는다. 또한, 암시적인 인자를 생성하기 위한 규칙이 고차원(higher-order)이 될 수 있으며 규칙들 간의 겹침(overlap)을 허용한다. 논문에서는 λ<SUB>⇒</SUB>의 문법과 과정을 드러내는 실행의미(operational semantics), 다형 타입 시스템(polymorphic system)과 그 안전성을 설명한다.
본 논문에서는 암시적 프로그래밍을 위한 계산 언어인 λ<SUB>⇒</SUB> 를 제안한다. λ<SUB>⇒</SUB> 계산 언어는 널리 사용되는 암시적 프로그래밍 구현의 핵심을 모두 포섭하면서도 그 구현들에서 발견되는 한계점을 지니지 않는다. 또한, 암시적인 인자를 생성하기 위한 규칙이 고차원(higher-order)이 될 수 있으며 규칙들 간의 겹침(overlap)을 허용한다. 논문에서는 λ<SUB>⇒</SUB>의 문법과 과정을 드러내는 실행의미(operational semantics), 다형 타입 시스템(polymorphic system)과 그 안전성을 설명한다.
목차
요약
1. 서론
2. λ⇒ 계산 언어의 예제
3. 문법 및 실행 의미
4. 타입 시스템
5. 결론
참고문헌
참고문헌 (0)
참고문헌 신청이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2013-569-001149852