http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
고희진(Hee-Jin Koh),공창국(Chang-Kug Kong),유재우(Chae-Woo Yoo),송후봉(Hoo-Bong Song) 한국정보과학회 1990 한국정보과학회 학술발표논문집 Vol.17 No.1
지금까지 함수언어의 수행시간에 대한 개선은 주로 하드웨어적인 측면에서 이루어져 왔다. 본 논문에서는 다중 추출규칙(multi-abstraction rule)과 S^m_n, K^m_n, I^m_(n,1), B^m_n, C^m_n등과 같은 multi-combinator를 제안함으로서, 추출과정에서 추출되는 combinatory code의 길이를 줄이고 함수언어의 수행시간을 개선하였다. 본 논문에서는 제안하고 있는 다중추출규칙은 매우 적은 길이의 combinatory code를 만들어내며, SK multi-combinator는 기존 supercombinator에서만 가능한 multiple reduction을 수행할 수 있다.