Binary Non-Termination in Term Rewriting and Logic Programming

Etienne Payet

doi:10.48550/arXiv.2307.11549

Communication Dans Un Congrès Année : 2023

Binary Non-Termination in Term Rewriting and Logic Programming

(1)

Etienne Payet

Fonction : Auteur
PersonId : 1243814
IdHAL : etienne-payet
ORCID : 0000-0002-3519-025X

Laboratoire d'Informatique et de Mathématiques

Résumé

We present a new syntactic criterion for the automatic detection of non-termination in an abstract setting that encompasses a simplified form of term rewriting and logic programming.

Mots clés

Term Rewriting Logic Programming Theory of computation Logic in Computer Science Computer and information sciences Rewrite systems Program analysis phrases Non-Termination Constraint and logic programming

Domaines

Logique en informatique [cs.LO]

Fichier principal

wst23.pdf (462.45 Ko)

Origine	Fichiers produits par l'(les) auteur(s)
Licence	Paternité - Pas d'utilisation commerciale - Pas de modification

Etienne Payet : Connectez-vous pour contacter le contributeur

https://hal.univ-reunion.fr/hal-04315644

Soumis le : jeudi 30 novembre 2023-12:53:11

Dernière modification le : lundi 29 avril 2024-11:28:04

Dates et versions

hal-04315644 , version 1 (30-11-2023)

Licence

Paternité - Pas d'utilisation commerciale - Pas de modification

Identifiants

HAL Id : hal-04315644 , version 1
ARXIV : 2307.11549
DOI : 10.48550/arXiv.2307.11549

Citer

Etienne Payet. Binary Non-Termination in Term Rewriting and Logic Programming. Workshop on Termination (WST), Akihisa Yamada, Aug 2023, Obergurgl, Austria. ⟨10.48550/arXiv.2307.11549⟩. ⟨hal-04315644⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

AFRIQ UNIV-REUNION LIM PAPANGUE FST-REUNION

32 Consultations

15 Téléchargements

Binary Non-Termination in Term Rewriting and Logic Programming

Résumé

Mots clés

Domaines

Dates et versions

Licence

Identifiants

Citer

Exporter

Collections

Altmetric

Partager