An Abstract Approach
to Some Loop Detection Problems

Dimiter Skordev

Abstract. The abstract approach proposed here encompasses both the detection of some periodic loops during the execution of Prolog programs and the detection of some periodic loops during recursive computations (an attempt to look at the loop detection problem for Prolog from an abstract point of view has been done previously in a paper by the same author published in 1993).

The full paper is published in Fundamenta Informaticae, 31(1997), 195-212.

Corrigenda (not concerning the files from the links below): The word "Now" on page 200, line 7 from below, must be skipped. The second one of the two consecutive closing brackets on page 203, line 15 from below, must be skipped too.

  PDF file (195 Kbytes)    DVI file (90 Kbytes) 

Last modification of the present HTML file: March 10, 2008