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

Observing Loopingness

Abstract

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)

Identifiers

  • HAL Id : hal-04436112 , version 1

Cite

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

Share

More