지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 소프트웨어 및 응용 정보과학회논문지 : 소프트웨어 및 응용 제27권 제12호
- 발행연도
- 2000.12
- 수록면
- 1,227 - 1,237 (11page)
이용수
초록· 키워드
오류제보하기
Hindley/Milner let-다형성 타입체계(let-polymorphic type system)에는 두 가지 타입 유추(type-inference) 알고리즘이 있다: 하나는 표준으로 알려진 W 알고리즘으로 프로그램의 문맥에 상관없이 상향식으로 유추하는 알고리즘이고, 다른 하나는 프로그램의 문맥에 따라 하향식으로 유추하는 M 알고리즘이다. 본 연구에서는 함수 적용(application)이 중첩되는 경우, M 알고리즘에 병목현상이 발생함을 보이고, 이러한 병목현상이 발생하지 않는 혼성 알고리즘 H 를 제시한다. H 알고리즘은 M 알고리즘을 함수 적용 부분만 W 알고리즘으로 변형한 알고리즘으로, W 보다는 일찍 M 보다는 늦게 오류를 감지함을 보인다.
목차
요약
Abstract
1. 서론
2. W 알고리즘과 M 알고리즘의 정의
3. M의 병목
4. H 알고리즘
5. H의 성질
6. 토론
7. 결론
부록
참고문헌
저자소개
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
일반화된 Let - 다형성 타입 유추 알고리즘
정보과학회논문지 : 소프트웨어 및 응용
2001 .01
-
하향식 타입 유추 알고리즘 M의 속성 증명
정보과학회논문지(B)
1998 .08
-
M : 타입 오류를 일찍 감지하는 타입 유추 알고리즘
한국정보과학회 학술발표논문집
1997 .04
-
Standard ML 프로그램 식들의 유추된 타입들을 보여 주는 도구의 개발
한국정보과학회 학술발표논문집
1997 .04
-
Application of Genetic Algorithm to Hybrid Fuzzy Inference Engine
한국지능시스템학회 논문지
1992 .09
-
Improved Expectation-maximization Algorithm using Genetic Algorithm for Big Data
한국지능시스템학회 학술발표 논문집
2016 .04
-
Survival Probability Map Based Path Planning of Mobile Robots
제어로봇시스템학회 국제학술대회 논문집
2015 .10
-
Research of Graph-analytical Methods for a Vehicle Motion Planning
제어로봇시스템학회 국제학술대회 논문집
2015 .10
-
A New Hybrid Genetic Algorithm and its Application to Control
ICONIP : International Conference On Neural Information Processing
1994 .01
-
유전 알고리듬에 의한 Hybrid 퍼지 추론기의 구성
대한전자공학회 학술대회
1992 .10
-
An Ordering Algorithm to Obtain a Minimal Fill-in of Sparse Matrix
(구)정보과학회논문지
1979 .11
-
다형적 객체 타입 기술을 위한 메커니즘
한국정보과학회 학술발표논문집
1999 .10
-
Application of an Adaptive Relaxation Algorithm to a Phase Retrieval Problem
ICEIC : International Conference on Electronics, Informations and Communications
2010 .06
-
전기화재 조기감지를 위한 화재감지알고리즘 연구
대한전기학회 학술대회 논문집
2009 .07
-
Call Processing Algorithms
한국통신학회 세미나
1991 .01
-
건축디자인 과정에서 유추적 사고에 관한 연구 ( An Analysis on Analogical Thinking in Architectural Designing )
대한건축학회 논문집
1997 .02
-
Adaptive Fuzzy Inference Algorithm for Shape Classification
한국정보통신학회논문지
2000 .09
-
하드웨어 기술을 위한 선형 람다 셈법의 타입 유추
한국정보과학회 학술발표논문집
2010 .11
-
유추를 위한 지식 표현 및 사상 기법
한국정보과학회 학술발표논문집
1987 .10
-
Applying A Matrix - Based Inference Algorithm to Electronic commerce
한국지능정보시스템학회 학술대회논문집
1999 .06
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017797725