A General Framework for Automatic Termination Analysis of Logic Programs

@article{Dershowitz2001AGF,
  title={A General Framework for Automatic Termination Analysis of Logic Programs},
  author={Nachum Dershowitz and Naomi Lindenstrauss and Yehoshua Sagiv and Alexander Serebrenik},
  journal={Applicable Algebra in Engineering, Communication and Computing},
  year={2001},
  volume={12},
  pages={117-156}
}
This paper describes a general framework for automatic termination analysis of logic programs, where we understand by “termination” the finiteness of the LD-tree constructed for the program and a given query. A general property of mappings from a certain subset of the branches of an infinite LD-tree into a finite set is proved. From this result several… CONTINUE READING

21 Figures & Tables

Topics

Statistics

051015'00'02'04'06'08'10'12'14'16'18
Citations per Year

97 Citations

Semantic Scholar estimates that this publication has 97 citations based on the available data.

See our FAQ for additional information.