http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
박동훈(D H Park),신동욱(D W. Shin),류기열(K Y Ryu),김병만(B M Kim),맹승렬(S R Maeng) 한국정보과학회 1990 한국정보과학회 학술발표논문집 Vol.17 No.1
폴리모픽 언어는 프로그래머에게 많은 도움을 주지만 폴로모피즘을 제공하지 않는 언어에 비해 비효율적이라는 단점을 가지고 있다. 본 논문의 목적은 [Hanus 88]가 제안한 폴리모픽 혼 논리 명세 언어에 있어서 형 표식(type annotation)을 가능한 제거함으로써 최적화된 프로그램을 만드는 데에 있다. 기존의 [Mycroft and O'Kecfe 84]와 [Hanus 88]의 방법은 너무 제한적이어서 소수의 프로그램에 대해서 적용 가능하나 본 논문의 최적화 방법은 혼 논리를 이용한 모든 프로그램에 대해 적용 할수 있다. [Hanus 88]에서는 혼 논리외에 등식까지 고려했으나 본 논문에서는 혼 논리만을 다루겠다.