Parallel Execution Models for Logic Programs

1994 ◽  
pp. 13-41
Author(s):  
Gopal Gupta
Keyword(s):  
Parallel Execution ◽  
Logic Programs ◽  
Execution Models ◽  
Parallel Execution Models

A parallel execution model of logic programs

1983 ◽  
Vol 11 (3) ◽  
pp. 349-355 ◽  
Author(s):  
Shinji Umeyama ◽  
Koichiro Tamura
Keyword(s):  
Parallel Execution ◽  
Logic Programs ◽  
Execution Model

Improving Execution Models of Logic Programs by Two-phase Abstract Interpretation

ETRI Journal ◽  
1995 ◽  
Vol 16 (4) ◽  
pp. 27-47
Author(s):  
Byeong-Mo Chang Chang ◽  
Kwang-Moo Choe Choe ◽  
Roberto Giacobazzi Giacobazzi
Keyword(s):  
Abstract Interpretation ◽  
Logic Programs ◽  
Two Phase ◽  
Execution Models
Sign in / Sign up

Export Citation Format

Share Document