A Framework for Analyzing the Termination of Definite Logic Programs with respect to Call Patterns

@inproceedings{Schreye1992AFF,
  title={A Framework for Analyzing the Termination of Definite Logic Programs with respect to Call Patterns},
  author={Danny De Schreye and Kristof Verschaetse and Maurice Bruynooghe},
  booktitle={FGCS},
  year={1992}
}
Highly Cited
This paper has 67 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 42 extracted citations

Speci cation-based Automatic Veri cation of Prolog Programs 1

Bauduin Le Charlier, Sabina Rossi, Agostino
1996
View 4 Excerpts
Highly Influenced

Exploiting the Power of Typed Norms inAutomatic Inference of Interargument

RelationsStefaan Decorte, Danny De SchreyeyDepartment
1994
View 6 Excerpts
Highly Influenced

67 Citations

0510'90'96'03'10'17
Citations per Year
Semantic Scholar estimates that this publication has 67 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…