scholarly journals Termination Analysis of Tabled Logic Programs Using Mode and Type Information

1999 ◽  
pp. 163-178
Author(s):  
Sofie Verbaeten ◽  
Danny De Schreye
Keyword(s):  
Logic Programs ◽  
Termination Analysis ◽  
Tabled Logic Programs ◽  
Type Information

scholarly journals Reuse of Results in Termination Analysis of Typed Logic Programs

2002 ◽  
pp. 477-492 ◽  
Author(s):  
Maurice Bruynooghe ◽  
Michael Codish ◽  
Samir Genaim ◽  
Wim Vanhoof
Keyword(s):  
Logic Programs ◽  
Termination Analysis

scholarly journals Concurrent Table Accesses in Parallel Tabled Logic Programs

2004 ◽  
pp. 662-670
Author(s):  
Ricardo Rocha ◽  
Fernando Silva ◽  
Vítor Santos Costa
Keyword(s):  
Logic Programs ◽  
Tabled Logic Programs

scholarly journals Termination analysis of logic programs through combination of type-based norms

2007 ◽  
Vol 29 (2) ◽  
pp. 10 ◽  
Author(s):  
Maurice Bruynooghe ◽  
Michael Codish ◽  
John P. Gallagher ◽  
Samir Genaim ◽  
Wim Vanhoof
Keyword(s):  
Logic Programs ◽  
Termination Analysis
Sign in / Sign up

Export Citation Format

Share Document