http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
김재홍(Jaehong Kim),주형석(Hyungseok Joo),김상도(Sangdo Kim),유원희(Weonhee Yoo) 한국정보과학회 1992 한국정보과학회 학술발표논문집 Vol.19 No.1
함수 언어의 구현에서 중요한 문제점 중의 하나는 실행 속도이다. 실행 속도를 높이기 위해 supercombinator, strict analysis와 같은 방법을 사용하지만 실행 속도를 크게 개선하기에는 불충분하다. 따라서 함수 언어를 실행하는 감축기계의 속도 향상이 요구된다. 본 논문에서는 Iambda 식에서 변환된 결합자 코드의 효율적인 실행을 위한 결합자 그래프 감축기계를 구현하였다. 셀의 속성을 나타내는 태그에 대한 경우분석을 간소화하기 위하여 자료유형을 표현하는 결합자를 만들어 경우분석의 단계를 줄이고 결합자와 공유노드를 구분하는 2가지의 경우에 대해서만 경우분석을 하여 처리 속도를 증가시켰으며 빈 리스트를 힙 메모리 내의 상위 공간에 두고 프로그램과 같이 관리하여 메모리의 이용 효율을 높였다.
김윤정(Yunjeong Kim),김상도(Sangdo Kim),유원희(Weonhee Yoo) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.2
본 논문에서는 고계 함수를 사용하는 함수 언어의 strictness 분석 방법을 기술한다. 고계 함수는 인자로서 함수가 전달되므로 함수 정의의 형식 매개변수에 대한 strictness 특성 뿐만아니라 함수 적용시의 특성도 필요로 하게된다. 고계 함수 사용시 결정되지 않은 함수의 관련성을 나타내기 위해 종속 집합을 제안하고, 이 종속 집합을 이용한 고계 함수의 strictness 분석 규칙을 제시한다. 또한 이를 함수 언어에 적용하여 strictness 분석 알고리즘을 제안함으로써 함수 언어의 해석 영역을 확장한다.