http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
송익진(IKchin Song),김상도(Sangdo Kim),유원희(Wonbee Yoo) 한국정보과학회 1992 한국정보과학회 학술발표논문집 Vol.19 No.2
SK컴비네이터로 변환한 식은 리덕션 과정에서 조건식을 평가할 때 판단식에 필요한 인자가 모두 적용되어도 분기할 식이 결정되지 않고 조건식 전체에 필요한 인수가 모두 적응되어야 분기할 식이 결정된다. 따라서 필요없는 치환이 발생할 수가 있고 일반적으로 더 많은 단계의 중간 리덕션 과정이 필요하다. 본 논문에서는 이러한 문제점을 해결하기 위해서 컴비네이터 변환 과정에서 가능한 한 if컴비네이터가 식의 바깥 쪽에 남아 있도록 함으로써 실행시 리덕션의 단계를 줄이고 수행 속도를 개선한 새로운 컴비네이터를 정의한다. 그리고 새로운 컴비네이터의 변환 알고리즘 및 알고리즘의 정당성에 대해 기술한다. 또한 새로운 컴비네이터가 완전 지연성을 보장함을 보이고 마지막으로 성능 평가의 결과를 기술한다.