Showing results 1 to 3 of 3
(A) proposal for formal scheme in AND parallel execution of logic programs = 논리 프로그램의 AND 병렬 수행을 위한 정형적인 제안link Chang, Byeong-Mo; 창병모; et al, 한국과학기술원, 1990 |
Abstract Filters: Improving Bottom-up Execution of Logic Programs by Two-phase Abstract Interpretation Chang, Byeong-Mo; Choe, Kwang-Moo; Giacobazzi, Roberto, Proceefings of the 1994 ACM Symp. on Applied Computing, pp.388 - 393, SAC '94, 1994-03 |
Efficient bottom-up execution of logic programs using compile-time analysis = 컴파일 시간 분석을 이용한 논리 프로그램의 효율적인 상향식 수행link Chang, Byeong-Mo; 창병모; et al, 한국과학기술원, 1994 |
Discover