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

Abstract : 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.
Type de document :
Communication dans un congrès
16th International Workshop on Termination, Jul 2018, Oxford, United Kingdom
Liste complète des métadonnées

https://hal.inria.fr/hal-01944731
Contributeur : Frédéric Blanqui <>
Soumis le : mardi 4 décembre 2018 - 18:55:42
Dernière modification le : vendredi 7 décembre 2018 - 01:14:22

Fichiers

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01944731, version 1
  • ARXIV : 1812.01853

Citation

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. 〈hal-01944731〉

Partager

Métriques

Consultations de la notice

28

Téléchargements de fichiers

56