Fixed Points and Noetherian Topologies - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Fixed Points and Noetherian Topologies

Résumé

Abstract Noetherian spaces are a generalisation of well-quasi-orderings to topologies, that can be used to prove termination of programs. They find applications in the verification of transition systems, some of which are better described using topology. The goal of this paper is to allow the systematic description of computations using inductively defined datatypes via Noetherian spaces. This is achieved through a fixed point theorem based on a topological minimal bad sequence argument.
Fichier principal
Vignette du fichier
fossacs-2023-published.pdf (1.31 Mo) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-04284124 , version 1 (21-12-2023)

Licence

Paternité

Identifiants

Citer

Aliaume Lopez. Fixed Points and Noetherian Topologies. FoSSaCS, Apr 2023, Paris, France. pp.456-476, ⟨10.1007/978-3-031-30829-1_22⟩. ⟨hal-04284124⟩
17 Consultations
8 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More