Observing Loopingness - Université de La Réunion Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Observing Loopingness

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

  • HAL Id : hal-04436112 , version 1

Citer

Etienne Payet. Observing Loopingness. Workshop on Termination (WST), Samir Genaim, Jul 2021, Virtual Event, United States. ⟨hal-04436112⟩
14 Consultations
3 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More