http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
고차 논리 표현이 첨가된 Flat Concurrent Prolog
길아라(A R Khil),류기열(K Y Ryu),조정완(J W Cho) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.1
Flat Concurrent Prolog (FCP)는 일차 논리에 기초를 두고 설계된 언어로서 함수 언어의 고차 논리적 기능을 제공하도록 확장하는 것이 필요하다. 본 논문에서는 Prolog의 확장을 위해 DHD Warren이 제안한 번역 규칙을 응용하여, 술어 변수가 허용된 FCP 프로그램을 동일한 의미의 일차 논리 FCP 프로그램으로 번역하는 전 처리기를 제안함으로써 FCP를 확장한다. 본 논문에서 제안한 확장된 FCP는 일차 논리 언어로서의 언어적 semantics와 선언적 프로그래밍의 특성을 계속 유지하면서, 일차 논리 표현만으로는 구현이 어려운 여러 응용 분야를 지원한다.
그래픽 RISC 프로세서를 위한 C 컴파일러와 그래픽 라이브러리의 최적화 기법의 설계 및 구현
이은재(E.J Lee),길아라(A R. Khil),정재훈(J H Chung),정내훈(N H Jung),맹승렬(S R. Maeng),윤현수(H Yoon) 한국정보과학회 1992 한국정보과학회 학술발표논문집 Vol.19 No.1
GISC(Graphics Instruction Set Computer) 프로세서는 현재 KAIST에서 개발 중인 RISC 형태의 그래픽 프로세서이다. 본 논문에서는 GISC 프로세서를 위한 C 언어의 컴파일러와 그래픽 라이브러리의 최적화 기법을 설계하고 구현한다. C 언어 컴파일러는 출력 코드 생성 시의 최적화를 지원하며 사용자 응용 프로그램의 개발이 용이하도록 프로그래밍 환경을 제공한다. 또한, 제안된 그래픽 라이브러리의 최적화 기법은 메모리 참조 명령문의 수행을 지연하여 그 횟수를 감소시킴으로써 수행 시의 효율성을 높일 수 있다. 본 논문에서 제안한 C 언어 컴파일러와 그래픽 라이브러리 최적화 기법은 GISC 인스트럭션 시뮬레이터를 사용한 시뮬레이션 결과를 분석함으로써 그 성능을 효율성을 검증한다.