플리모픽 혼 논리 명세어에 있어서의 최적화 = An Optimization Technique in Polymorphic Horn Clause Specification

국문 초록 (Abstract)

폴리모픽 언어는 프로그래머에게 많은 도움을 주지만 폴로모피즘을 제공하지 않는 언어에 비해 비효율적이라는 단점을 가지고 있다. 본 논문의 목적은 [Hanus 88]가 제안한 폴리모픽 혼 논리 명세 언어에 있어서 형 표식(type annotation)을 가능한 제거함으로써 최적화된 프로그램을 만드는 데에 있다. 기존의 [Mycroft and O'Kecfe 84]와 [Hanus 88]의 방법은 너무 제한적이어서 소수의 프로그램에 대해서 적용 가능하나 본 논문의 최적화 방법은 혼 논리를 이용한 모든 프로그램에 대해 적용 할수 있다. [Hanus 88]에서는 혼 논리외에 등식까지 고려했으나 본 논문에서는 혼 논리만을 다루겠다.

목차 (Table of Contents)

• 요약문
• Ⅰ. 도입
• Ⅱ. 기본 용어와 정의
• Ⅲ. 최적화
• Ⅳ. 맺는말
• 참고 문헌