Termination of λΠ modulo rewriting using the size-change principle (work in progress) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2018

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.
Fichier principal
Vignette du fichier
main.pdf (446.79 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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 View
76 Download

Altmetric

Share

Gmail Facebook X LinkedIn More