PROLOG로 부터 C 언어로의 코드변환 기법 = A Code Translation Scheme from PROLOG to C Language
저자
발행기관
학술지명
권호사항
발행연도
1998
작성언어
Korean
KDC
004
자료형태
학술저널
발행기관 URL
수록면
1693-1704(12쪽)
제공처
지난 10 여년의 연구 노력에도 불구하고 논리 언어인 프롤로그(Prolog)의 구현은 아직도 프로그래밍 구현의 연구 영역에서 중요한 테마로 여겨지고 있다. TC-Prolog는 논리 프로그램을 C 프로그램으로의 변환을 통하여 논리 프로그램을 구현하는 새로운 기법이다. 이 TC-Prolog는 C 언어 변환 방식 자체가 제공하는 신속한 구현성과 고이식성의 장점을 갖으며, 변환을 통해 코드의 실행 속도와 코드 크기면에서 높은 성능을 갖는다. 실제 구현을 통한 성능 분석의 결과, TC-Prolog는 기존의 가장 우수한 기법인 WAMCC보다 실행 속도와 코드 크기 면에서 각각 24%,와 30%의 성능 향상을 보이고 있다. 본 논문은 프롤로그 프로그램의 C-언어 프로그램으로의 변환에 관련된 여러 중요 기법들의 성능을 정성적으로 분석하는 방법론을 먼저 제시한 후, TC-Prolog를 포함한 기존 기법들의 성능의 정성적 비교결과를 기술한다. 그리고 본 논문의 주된 연구내용인 TC-Prolog 기법, 그리고 실험을 통한 성능 평가내용을 기술한다.
더보기Despite of the effort over the last decade, the implementation of Prolog is still an important issue in logic programming. TC-Prolog is a sequential Prolog engine based on a new scheme for the translation-based execution of logic programs. TC-Prolog aims at high quality of the output code in terms of the code size and its execution speed, while benefiting from the inherent advantages of translation-based approaches, i.e., fast prototyping and high portability. The empirical study of TC-Prolog shows that, with regard to the execution speed of the produced code and its code size, TC-Prolog shows respectively about 24 and 30 percents of improvement over WAMCC that is one of the most efficient translation-based sequential Prolog systems. This paper presents our study on a framework that enables us to qualitatively assess various crucial issues pertaining to the Prolog-to-C code translation. Then, we present our code translation scheme developed for TC-Prolog and the result of its empirical study made to evaluate and compare the performance between TC-Prolog and WAMCC.
더보기서지정보 내보내기(Export)
닫기소장기관 정보
닫기권호소장정보
닫기오류접수
닫기오류 접수 확인
닫기음성서비스 신청
닫기음성서비스 신청 확인
닫기이용약관
닫기학술연구정보서비스 이용약관 (2017년 1월 1일 ~ 현재 적용)
학술연구정보서비스(이하 RISS)는 정보주체의 자유와 권리 보호를 위해 「개인정보 보호법」 및 관계 법령이 정한 바를 준수하여, 적법하게 개인정보를 처리하고 안전하게 관리하고 있습니다. 이에 「개인정보 보호법」 제30조에 따라 정보주체에게 개인정보 처리에 관한 절차 및 기준을 안내하고, 이와 관련한 고충을 신속하고 원활하게 처리할 수 있도록 하기 위하여 다음과 같이 개인정보 처리방침을 수립·공개합니다.
주요 개인정보 처리 표시(라벨링)
목 차
3년
또는 회원탈퇴시까지5년
(「전자상거래 등에서의 소비자보호에 관한3년
(「전자상거래 등에서의 소비자보호에 관한2년
이상(개인정보보호위원회 : 개인정보의 안전성 확보조치 기준)개인정보파일의 명칭 | 운영근거 / 처리목적 | 개인정보파일에 기록되는 개인정보의 항목 | 보유기간 | |
---|---|---|---|---|
학술연구정보서비스 이용자 가입정보 파일 | 한국교육학술정보원법 | 필수 | ID, 비밀번호, 성명, 생년월일, 신분(직업구분), 이메일, 소속분야, 웹진메일 수신동의 여부 | 3년 또는 탈퇴시 |
선택 | 소속기관명, 소속도서관명, 학과/부서명, 학번/직원번호, 휴대전화, 주소 |
구분 | 담당자 | 연락처 |
---|---|---|
KERIS 개인정보 보호책임자 | 정보보호본부 김태우 | - 이메일 : lsy@keris.or.kr - 전화번호 : 053-714-0439 - 팩스번호 : 053-714-0195 |
KERIS 개인정보 보호담당자 | 개인정보보호부 이상엽 | |
RISS 개인정보 보호책임자 | 대학학술본부 장금연 | - 이메일 : giltizen@keris.or.kr - 전화번호 : 053-714-0149 - 팩스번호 : 053-714-0194 |
RISS 개인정보 보호담당자 | 학술진흥부 길원진 |
자동로그아웃 안내
닫기인증오류 안내
닫기귀하께서는 휴면계정 전환 후 1년동안 회원정보 수집 및 이용에 대한
재동의를 하지 않으신 관계로 개인정보가 삭제되었습니다.
(참조 : RISS 이용약관 및 개인정보처리방침)
신규회원으로 가입하여 이용 부탁 드리며, 추가 문의는 고객센터로 연락 바랍니다.
- 기존 아이디 재사용 불가
휴면계정 안내
RISS는 [표준개인정보 보호지침]에 따라 2년을 주기로 개인정보 수집·이용에 관하여 (재)동의를 받고 있으며, (재)동의를 하지 않을 경우, 휴면계정으로 전환됩니다.
(※ 휴면계정은 원문이용 및 복사/대출 서비스를 이용할 수 없습니다.)
휴면계정으로 전환된 후 1년간 회원정보 수집·이용에 대한 재동의를 하지 않을 경우, RISS에서 자동탈퇴 및 개인정보가 삭제처리 됩니다.
고객센터 1599-3122
ARS번호+1번(회원가입 및 정보수정)