Showing results 1 to 4 of 4
상향식 추상 해석을 이용한 논리 프로그램의 AND/0R 병렬 수행 모델 개선 창병모; 최광무; 한태숙, 정보과학회논문지, v.21, no.5, pp.792 - 800, 1994-05 |
순환 논리 질의 최적화를 위한 정적 필터의 고정점 계산 창병모; 최광무; 한태숙, 정보과학회논문지, v.20, no.9, pp.1391 - 1402, 1993-09 |
쉘로우 백트래킹을 사용한 Prolog 컴파일러의 최적화 오승환; 창병모; 신동하; 최광무, 정보과학회논문지(B), v.25, no.1, pp.160 - 171, 1998-01 |
추상 필터를 이용한 논리 프로그램의 상향식 수행 개선 : 실험적 고찰 김문정; 창병모; 최광무, 정보과학회논문지(B), v.24, no.10, pp.1112 - 1121, 1997-10 |
Discover