Termination of λΠ modulo rewriting using the size-change principle (work in progress) - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Termination of λΠ modulo rewriting using the size-change principle (work in progress)

Résumé

The Size-Change Termination principle was first introduced to study the termination of first-order functional programs. In this work, we show that it can also be used to study the termination of higher-order rewriting in a system of dependent types extending LF.
Fichier principal
Vignette du fichier
main.pdf (446.79 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01944731 , version 1 (04-12-2018)

Identifiants

Citer

Frédéric Blanqui, Guillaume Genestier. Termination of λΠ modulo rewriting using the size-change principle (work in progress). 16th International Workshop on Termination, Jul 2018, Oxford, United Kingdom. pp. 10-14. ⟨hal-01944731⟩
65 Consultations
84 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More