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
Salvador Lucas. 16th International Workshop on Termination, Jul 2018, Oxford, United Kingdom. pp. 10-14, 〈http://wst2018.webs.upv.es/wst2018proceedings.pdf〉
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 : jeudi 7 février 2019 - 16:55:59

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). Salvador Lucas. 16th International Workshop on Termination, Jul 2018, Oxford, United Kingdom. pp. 10-14, 〈http://wst2018.webs.upv.es/wst2018proceedings.pdf〉. 〈hal-01944731〉

Partager

Métriques

Consultations de la notice

48

Téléchargements de fichiers

130