지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 소프트웨어 및 응용 정보과학회논문지 : 소프트웨어 및 응용 제28권 제1호
- 발행연도
- 2001.1
- 수록면
- 73 - 89 (17page)
이용수
초록· 키워드
오류제보하기
본 연구에서는 일반화된 let-다형성(let-polymorphic) 타입 유추 알고리즘을 제시하고, 이로부터 얻어지는 모든 예 알고리즘들은 Hindley/Milner 타입 체계를 안전하고 완전하게 (sound and complete) 구현하고 있음을 증명하여, 일반화된 알고리즘의 두 예 알고리즘들간에 어느 한쪽이 항상 오류를 더 신속히 감지하게 되는 조건을 제시한다.
일반화된 알고리즘으로부터 이론적으로 검증된 두 타입 유추 알고리즘, 즉, 상향성 표준 타입 유추 알고리즘 W 와 하향성 알고리즘 M 뿐만 아니라 두 알고리즘의 혼성 알고리즘(hybrid algorithm)을 만들 수 있다. 만들어진 예 알고리즘들의 안전성, 완전성, 상대적인 신속한 오류 감지 성질들은 본 논문의 증명에 의해 자동적으로 유추된다. 본 논문에서 제시하는 알고리즘으로부터 만들어 낼 수 있는 예 알고지름에는 SML/NJ와 Objective Caml 컴파일러에서 채택한 알고리즘을 포함하고 있다.
일반화된 알고리즘으로부터 이론적으로 검증된 두 타입 유추 알고리즘, 즉, 상향성 표준 타입 유추 알고리즘 W 와 하향성 알고리즘 M 뿐만 아니라 두 알고리즘의 혼성 알고리즘(hybrid algorithm)을 만들 수 있다. 만들어진 예 알고리즘들의 안전성, 완전성, 상대적인 신속한 오류 감지 성질들은 본 논문의 증명에 의해 자동적으로 유추된다. 본 논문에서 제시하는 알고리즘으로부터 만들어 낼 수 있는 예 알고지름에는 SML/NJ와 Objective Caml 컴파일러에서 채택한 알고리즘을 포함하고 있다.
목차
요약
Abstract
1. 서론
2. 일반화된 타입 유추 알고리즘 G
3. 안전성과 완전성
4. 덜 느슨한 알고리즘이 신속히 오류를 감지한다
5. 결론
부록
참고문헌
저자소개
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Let-다형성 타입 유추 알고리즘 M 의 병목을 해소하기 위한 혼성 알고리즘 H
정보과학회논문지 : 소프트웨어 및 응용
2000 .12
-
하향식 타입 유추 알고리즘 M의 속성 증명
정보과학회논문지(B)
1998 .08
-
M : 타입 오류를 일찍 감지하는 타입 유추 알고리즘
한국정보과학회 학술발표논문집
1997 .04
-
Standard ML 프로그램 식들의 유추된 타입들을 보여 주는 도구의 개발
한국정보과학회 학술발표논문집
1997 .04
-
Survival Probability Map Based Path Planning of Mobile Robots
제어로봇시스템학회 국제학술대회 논문집
2015 .10
-
Research of Graph-analytical Methods for a Vehicle Motion Planning
제어로봇시스템학회 국제학술대회 논문집
2015 .10
-
Improved Expectation-maximization Algorithm using Genetic Algorithm for Big Data
한국지능시스템학회 학술발표 논문집
2016 .04
-
An Ordering Algorithm to Obtain a Minimal Fill-in of Sparse Matrix
(구)정보과학회논문지
1979 .11
-
Call Processing Algorithms
한국통신학회 세미나
1991 .01
-
A New Hybrid Genetic Algorithm and its Application to Control
ICONIP : International Conference On Neural Information Processing
1994 .01
-
Application of an Adaptive Relaxation Algorithm to a Phase Retrieval Problem
ICEIC : International Conference on Electronics, Informations and Communications
2010 .06
-
OCA – Graphical System for Algorithm Structure Analysis and Processing
SmartCR
2012 .04
-
불필요한 식을 찾는 2단계 언어의 간섭분석
정보과학회논문지 : 소프트웨어 및 응용
2012 .05
-
Lms Algorithm을 이용한 Hybrid Coding ( Hybrid Coding using the LMS Algorithm )
대한전자공학회 학술대회
1987 .07
-
A New Selection Algorithms for Distributed Evolutionary Algorithms
제어로봇시스템학회 국내학술대회 논문집
2000 .10
-
이산화탄소에어컨의 효율적인 운용을 위한 실용알고리즘
대한설비공학회 학술발표대회논문집
2009 .06
-
Comparison of Ant Colony Optimization with A* Algorithm in Dynamic Environment
ICEIC : International Conference on Electronics, Informations and Communications
2010 .06
-
Hybrid Recommendation Algorithm for Large Scale Data Analysis
대한산업공학회 춘계공동학술대회 논문집
2009 .05
-
Application of Genetic Algorithm to Hybrid Fuzzy Inference Engine
한국지능시스템학회 논문지
1992 .09
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017823351