A second-order formulation of non-termination - Université de La Réunion Accéder directement au contenu
Article Dans Une Revue Information Processing Letters Année : 2015

A second-order formulation of non-termination

Résumé

We consider the termination/non-termination property of a class of loops. Such loops are commonly used abstractions of real program pieces. Second-order logic is a convenient language to express non-termination. Of course, such property is generally undecidable. However, by restricting the language to known decidable cases, we exhibit new classes of loops, the non-termination of which is decidable. We present a bunch of examples.
Fichier principal
Vignette du fichier
1412.3271.pdf (115.28 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01451689 , version 1 (05-11-2018)

Identifiants

Citer

Frédéric Mesnard, Etienne Payet. A second-order formulation of non-termination. Information Processing Letters, 2015, 115 (11), pp.882--885. ⟨10.1016/j.ipl.2015.05.012⟩. ⟨hal-01451689⟩
90 Consultations
159 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More