On Van Gelder's loop detection algorithm
From MaRDI portal
Publication:4015956
DOI10.1016/0743-1066(92)90051-4zbMath0774.68029MaRDI QIDQ4015956
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
implementation; loop detection; goal reduction; infinite recursion; tail recursion optimization; tortoise-and-hare technique high- performance interpreters