On Van Gelder's loop detection algorithm

DOI10.1016/0743-1066(92)90051-4MaRDI QIDQ4015956zbMATH OpenOpenAlexFDO

Authors Dimiter Skordev

Publication date 10 November 1992

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(92)90051-4

zbMATH Keywords

goal reductionimplementationinfinite recursionloop detectiontail recursion optimizationtortoise-and-hare technique high- performance interpreters

Mathematics Subject Classification ID

Logic programming (68N17) Artificial intelligence (68T99)

Recommendations

• scientific article; zbMATH DE number 1098500
• scientific article; zbMATH DE number 4074447
• On the detection of some loops in recursive computations
• Algorithmic detection of hypercircles
• scientific article; zbMATH DE number 1008335
• An efficient randomized algorithm for detecting circles
• scientific article; zbMATH DE number 729934
• A SURFACE INTERSECTION ALGORITHM BASED ON LOOP DETECTION
• Experiments with the V-Detector algorithm

Cited in

(3)

• scientific article; zbMATH DE number 517070 (Why is no real title available?)
• scientific article; zbMATH DE number 1098500 (Why is no real title available?)
• scientific article; zbMATH DE number 7809184 (Why is no real title available?)

This page was built for publication: On Van Gelder's loop detection algorithm

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4015956)