Observing Loopingness - Laboratoire d'Informatique et de Mathématiques Access content directly
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⟩
0 View
0 Download

Share

Gmail Facebook X LinkedIn More