Observing Loopingness - Université de La Réunion Access content directly
Conference Papers Year : 2021

Observing Loopingness


In this paper, we consider non-termination in logic programming and in term rewriting and we recall some well-known results for observing it. Then, we instantiate these results to loopingness, a simple form of non-termination. We provide a bunch of examples that seem to indicate that the instantiations are correct as well as partial proofs.
Fichier principal
Vignette du fichier
wst21.pdf (405.55 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-04436112 , version 1 (03-02-2024)


  • HAL Id : hal-04436112 , version 1


Etienne Payet. Observing Loopingness. Workshop on Termination (WST), Samir Genaim, Jul 2021, Virtual Event, United States. ⟨hal-04436112⟩
0 View
0 Download


Gmail Facebook X LinkedIn More